Package: covered (0.7.10-4)

Links for covered

Debian Resources:

Download Source Package covered:

Maintainers:

External Resources:

Homepage [covered.sourceforge.net]

Similar packages:

strumento di analisi della copertura del codice per Verilog

Covered è un'utilità per misurare la copertura del codice per Verilog che legge un progetto Verilog e un file di dump VCD/LXT generato a partire da esso e produce un file di copertura che può essere unificato con altri o usato per creare un rapporto sulla copertura del codice. Covered contiene anche l'utilità GUI per rapporti sulla copertura del codice che legge un file di copertura per permettere l'analisi interattiva della copertura. Le aree di copertura misurate da Covered sono: riga, toggle, memoria, logica combinatoria, transizione da stato a stato per gli ASF e copertura delle asserzioni.

Tags: Field: Electronics, Implemented in: C, User Interface: interface::commandline, interface::graphical, X Window System, Role: Program, Interface Toolkit: uitoolkit::tk, use::viewing, X Window System: Application

Other Packages Related to covered

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libtcl8.6 (>= 8.6.0)

Tcl (Tool Command Language) v 8.6 - file di libreria runtime
dep: libtk8.6 (>= 8.6.0)

toolkit Tk per Tcl e X11 v. 8.6 - file runtime
dep: tklib

standard Tk Library
dep: zlib1g (>= 1:1.1.4)

libreria di compressione - runtime

rec: iverilog

compilatore Icarus Verilog

or verilog

virtual package provided by iverilog

or gplcver (>= 2.12a-1.1)

Verilog simulator

Download covered

Download for all available architectures
Architecture	Package Size	Installed Size	Files
s390x	472.5 kB	2,517.0 kB	[list of files]