How to Install and Uninstall covered Package on Kali Linux

Last updated: July 05,2024

1. Install "covered" package

This tutorial shows how to install covered on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                covered
            
                    
    
    Copied

2. Uninstall "covered" package

Learn how to uninstall covered on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                covered
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the covered package on Kali Linux

Package: covered
Version: 0.7.10-4
Installed-Size: 2381
Maintainer: Debian Electronics Team
Architecture: amd64
Depends: libc6 (>= 2.34), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), zlib1g (>= 1:1.1.4), tklib
Recommends: iverilog | verilog | gplcver (>= 2.12a-1.1)
Size: 552648
SHA256: 294dc0e097343430e2e4716aa621d43f46d2f2273d76a8755ad7264cc4907d57
SHA1: e588da60ed15906e05a38ceadf7afa6150b8454e
MD5sum: cc3db14038585adab128f40ed4a8db83
Description: Verilog code coverage analysis tool
Covered is a Verilog code coverage utility that reads in a Verilog design and
a generated VCD/LXT dumpfile from that design and generates a coverage file
that can be merged with other coverage files or used to create a coverage
report. Covered also contains the GUI coverage report utility that reads in a
coverage file to allow interactive coverage discovery. Areas of coverage
measured by Covered are: line, toggle, memory, combinational logic, FSM
state/state-transition and assertion coverage.
Description-md5:
Homepage: http://covered.sourceforge.net/
Tag: field::electronics, implemented-in::c, interface::commandline,
interface::graphical, interface::x11, role::program, uitoolkit::tk,
use::viewing, x11::application
Section: electronics
Priority: optional
Filename: pool/main/c/covered/covered_0.7.10-4_amd64.deb