Package: covered (0.7.8-2)

[ Source: covered  ]

Verilog code coverage analysis tool

Covered is a Verilog code coverage utility that reads in a Verilog design and a generated VCD/LXT dumpfile from that design and generates a coverage file that can be merged with other coverage files or used to create a coverage report. Covered also contains the GUI coverage report utility that reads in a coverage file to allow interactive coverage discovery. Areas of coverage measured by Covered are: line, toggle, memory, combinational logic, FSM state/state-transition and assertion coverage.

Tags: Field: Electronics, Implemented in: C, User Interface: Command Line, X Window System, Role: Program, Interface Toolkit: Tk, Purpose: Data Visualization, X Window System: Application

Other Packages Related to covered

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  библиотека Embedded GNU C (динамические библиотеки)
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.7) [not ia64, kfreebsd-amd64, kfreebsd-i386]

  библиотека Embedded GNU C (динамические библиотеки)
  also a virtual package provided by libc6-udeb

• dep: libc6.1 (>= 2.7) [ia64]

  библиотека Embedded GNU C (динамические библиотеки)
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.4.0) [armel]

  вспомогательная библиотека GCC

• dep: tcl8.5 (>= 8.5.0) [not mips, mipsel]

  Tcl, командный язык инструментов v8.5, (файлы времени выполнения)

• dep: tk8.5 (>= 8.5.0) [not mips, mipsel]

  набор инструментов Tk для Tcl и X11, v8.5 (исполняемые файлы)

• dep: tklib

  the standard Tk Library

• dep: zlib1g (>= 1:1.1.4)

  библиотека сжатия

• rec: iverilog

  Icarus verilog compiler

  or verilog

  Icarus verilog compiler (transitional package)

  or gplcver (>= 2.12a-1.1)

  Verilog simulator

Download covered

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	812.0 kB	2,264.0 kB	[list of files]
armel	783.4 kB	2,176.0 kB	[list of files]
i386	732.9 kB	2,168.0 kB	[list of files]
ia64	1,130.1 kB	4,028.0 kB	[list of files]
kfreebsd-amd64	812.6 kB	2,318.0 kB	[list of files]
kfreebsd-i386	734.6 kB	2,174.0 kB	[list of files]
mips	768.0 kB	2,520.0 kB	[list of files]
mipsel	761.5 kB	2,508.0 kB	[list of files]
powerpc	798.3 kB	2,396.0 kB	[list of files]
s390	823.0 kB	2,348.0 kB	[list of files]
sparc	777.9 kB	2,352.0 kB	[list of files]