| Paketname | covered-doc |
| Beschreibung | Verilog code coverage analysis tool - documentation |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.7.8-2 |
| Sektion | doc |
| Priorität | optional |
| Installierte Größe | 2648 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Electronics Team |
| Quelle | covered |
| Paketgröße | 1831296 Byte |
| Prüfsumme MD5 | 226ecec35ee5ce4e71bf420bcc0db6b8 |
| Prüfsumme SHA1 | 9c4c35c543e9716073feee45fb37733d0b52c19c |
| Prüfsumme SHA256 | 934828a94a5618ad746a22654d708d13bcdc808b13584d51cae9bff29108bd20 |
| Link zum Herunterladen | covered-doc_0.7.8-2_all.deb |
| Ausführliche Beschreibung | 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.
|