» Ubuntu » Packages » lucid (10.04LTS) » electronics » covered
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ Source: covered  ]

Package: covered (0.7.7-1) [universe]

Links for covered

Screenshot

Ubuntu Resources:

Download Source Package covered:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Electronics Team (Mail Archive)
  • أحمد المحمودي (Ahmed El-Mahmoudy)

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

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.

Other Packages Related to covered

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.7)
    Embedded GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: tcl8.5 (>= 8.5.0)
    Tcl (the Tool Command Language) v8.5 - run-time files
  • dep: tk8.5 (>= 8.5.0)
    Tk toolkit for Tcl and X11, v8.5 - run-time files
  • dep: tklib
    the standard Tk Library
  • dep: zlib1g (>= 1:1.1.4)
    compression library - runtime
  • rec: 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 849.5 kB2,388.0 kB [list of files]
i386 773.0 kB2,256.0 kB [list of files]