Paket: covered (0.7.10-3 und andere)

Links für covered

Debian-Ressourcen:

Quellcode-Paket covered herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [covered.sourceforge.net]

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).

Markierungen: Feld: Elektronik, Implementiert in: C, Benutzer-Schnittstellen: interface::commandline, interface::graphical, X-Window-System, Rolle: Programm, GUI-Baukasten: uitoolkit::tk, use::viewing, X-Window-System: Anwendung

Andere Pakete mit Bezug zu covered

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.14)

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

rec: iverilog

Icarus verilog compiler

oder verilog

virtuelles Paket, bereitgestellt durch iverilog

oder gplcver (>= 2.12a-1.1)

Verilog-Simulator

covered herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	0.7.10-3+b1	531,1 kB	2.394,0 kB	[Liste der Dateien]