| Paketname | covered |
| Beschreibung | Verilog code coverage analysis tool |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 0.7.7-1 |
| Sektion | universe/electronics |
| Priorität | optional |
| Installierte Größe | 2256 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 | verilog | gplcver (>= 2.12a-1.1) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 791510 Byte |
| Prüfsumme MD5 | 703d4eab7510536473c74762dac06137 |
| Prüfsumme SHA1 | 9be79f10fba937faa3f8b8144203980a379e06a6 |
| Prüfsumme SHA256 | de4586addb7df3d21191c5239bd49d9e8e93d9fb9232b33efd15316629cda443 |
| Link zum Herunterladen | covered_0.7.7-1_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.
|