Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: covered  ]

Paket: covered (0.7.10-1)

Links für covered

Screenshot

Debian-Ressourcen:

Quellcode-Paket covered herunterladen:

Betreuer:

Externe Ressourcen:

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

Markierungen: Feld: Elektronik, Implementiert in: C, Benutzer-Schnittstellen: interface::commandline, interface::x11, Rolle: Programm, GUI-Baukasten: Tk, Zweck: use::viewing, x11::application

Andere Pakete mit Bezug zu covered

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

covered herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
ia64 1.164,3 kB4.140,0 kB [Liste der Dateien]