[ Quellcode: covered ]
Paket: covered (0.7.10-5)
Links für covered
Debian-Ressourcen:
Quellcode-Paket covered herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [covered.sourceforge.net]
Ähnliche Pakete:
Code-Coverage-Analysewerkzeug für Verilog
Covered ist ein Code-Coverage-Dienstprogramm für Verilog. Es liest ein Verilog-Design und ein daraus erzeugtes VCD/LXT-Dumpfile ein und erzeugt eine Datei mit Angaben zur Testabdeckung (Code Coverage), die mit anderen Coverage-Dateien zusammengefasst oder zur Erzeugung eines Berichtes (Coverage Report) verwendet werden kann. Covered enthält auch das grafische Dienstprogramm für die Erzeugung von Coverage Reports. Das Programm misst die Testabdeckung in den Bereichen: »Line«, »Toggle«, Speicher, Schaltungslogik, Zustandsübergänge endlicher Automaten und Abdeckung von Überprüfungen (assertion coverage).
Andere Pakete mit Bezug zu covered
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (die Tool Command Language) v8.6 - Laufzeitbibliothek
-
- dep: libtk8.6 (>= 8.6.0)
- Werkzeugsatz Tk für Tcl und X11, v8.6 - Laufzeitdateien
-
- dep: tklib
- standard Tk Library
-
- dep: zlib1g (>= 1:1.1.4)
- Kompressions-Bibliothek - Laufzeit
covered herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 544,2 kB | 2.409,0 kB | [Liste der Dateien] |
| arm64 | 463,7 kB | 2.501,0 kB | [Liste der Dateien] |
| armhf | 465,4 kB | 1.828,0 kB | [Liste der Dateien] |
| i386 | 533,6 kB | 2.544,0 kB | [Liste der Dateien] |
| ppc64el | 512,5 kB | 2.949,0 kB | [Liste der Dateien] |
| riscv64 | 511,8 kB | 2.181,0 kB | [Liste der Dateien] |
| s390x | 519,4 kB | 2.565,0 kB | [Liste der Dateien] |