Package: covered (0.7.10-7)

[ Source: covered  ]

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

• 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
amd64	540.8 kB	2,462.0 kB	[list of files]
arm64	461.1 kB	2,494.0 kB	[list of files]
armhf	463.5 kB	1,955.0 kB	[list of files]
i386	543.0 kB	2,603.0 kB	[list of files]
ppc64el	515.8 kB	2,942.0 kB	[list of files]
riscv64	513.4 kB	2,170.0 kB	[list of files]
s390x	518.3 kB	2,554.0 kB	[list of files]