| Paketname | covered |
| Beschreibung | Verilog code coverage analysis tool |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.7.8-2 |
| Sektion | electronics |
| Priorität | optional |
| Installierte Größe | 2168 Byte |
| Hängt ab von | libc6 (>= 2.7), tcl8.5 (>= 8.5.0), tk8.5 (>= 8.5.0), zlib1g (>= 1:1.1.4), tklib |
| Empfohlene Pakete | iverilog | verilog | gplcver (>= 2.12a-1.1) |
| Paketbetreuer | Debian Electronics Team |
| Quelle | |
| Paketgröße | 750492 Byte |
| Prüfsumme MD5 | 878940e50411362e4c318ad491a8f89d |
| Prüfsumme SHA1 | 66d740bfdaa613a16dc67f594b15704781b0f2e6 |
| Prüfsumme SHA256 | 272e3d54040ea4bee0bc94a97a33fedf509877740978274530cec15a951f3eb3 |
| Link zum Herunterladen | covered_0.7.8-2_i386.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.
|