How to Install and Uninstall covered-doc Package on Kali Linux

Last updated: May 17,2024

1. Install "covered-doc" package

Please follow the guidelines below to install covered-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                covered-doc
            
                    
    
    Copied

2. Uninstall "covered-doc" package

Please follow the guidelines below to uninstall covered-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                covered-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the covered-doc package on Kali Linux

Package: covered-doc
Source: covered
Version: 0.7.10-4
Installed-Size: 2438
Maintainer: Debian Electronics Team
Architecture: all
Size: 1690044
SHA256: e9fbd5f27a8bf09bdb6b0c00a2635440e0f65f0c6128c40d5baa66a7e1d6d723
SHA1: 80c132d4dd194c0d160509e13dbcc74add592da3
MD5sum: 4e8dea203689be2915b97c4ea3c4e5cd
Description: Verilog code coverage analysis tool - documentation
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.
.
This package contains the documentation.
Description-md5:
Homepage: http://covered.sourceforge.net/
Tag: role::documentation
Section: doc
Priority: optional
Filename: pool/main/c/covered/covered-doc_0.7.10-4_all.deb