Paket: covered (0.7.10-3 und andere)

[ Quellcode: covered  ]

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

• dep: libc6 (>= 2.11) [armhf, i386]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.17) [arm64]

• 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]
arm64	0.7.10-3+b1	433,3 kB	2.254,0 kB	[Liste der Dateien]
armhf	0.7.10-3+b1	461,0 kB	1.813,0 kB	[Liste der Dateien]
i386	0.7.10-3+b1	536,5 kB	2.537,0 kB	[Liste der Dateien]