Paquet : covered-doc (0.7.10-3.1)
Liens pour covered-doc
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source covered :
Responsables :
- Debian Electronics Team (Page QA, Archive du courrier électronique)
- أحمد المحمودي (Ahmed El-Mahmoudy) (Page QA)
Ressources externes :
- Page d'accueil [covered.sourceforge.net]
Paquets similaires :
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.
Télécharger covered-doc
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 1 650,8 ko | 2 439,0 ko | [liste des fichiers] |