Package - covered

Package:  covered
apt-get install covered
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/covered/covered_0.7.10-5_amd64.deb (Size: 544.2KiB)

PropertyValue
Packagecovered
Version0.7.10-5
Installed-Size2409
MaintainerDebian Electronics Team
Architectureamd64
Dependslibc6 (>= 2.34), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), zlib1g (>= 1:1.1.4), tklib
Recommendsiverilog | verilog | gplcver (>= 2.12a-1.1)
DescriptionVerilog code coverage analysis tool
Description-md586b156bb1e738b3df7a11df6bbe5429e
Homepagehttp://covered.sourceforge.net/
Tagfield::electronics, implemented-in::c, interface::commandline, interface::graphical, interface::x11, role::program, uitoolkit::tk, use::viewing, x11::application
Sectionelectronics
Priorityoptional
Filenamepool/main/c/covered/covered_0.7.10-5_amd64.deb
Size557260
MD5suma42ea17bcc24018990dde4a86f3f5800
SHA2561a184008ef00c7ac5c4a154e9ef5232ce10a715e140567048e57f1b6a008f453

Files in package

  • /usr/bin/covered
  • /usr/lib/x86_64-linux-gnu/covered/covered.cver.so
  • /usr/lib/x86_64-linux-gnu/covered/covered.vpi
  • /usr/share/covered/.coveredrc
  • /usr/share/covered/scripts/assert.tcl
  • /usr/share/covered/scripts/balloon.tcl
  • /usr/share/covered/scripts/banner.gif
  • /usr/share/covered/scripts/cdd_view.tcl
  • /usr/share/covered/scripts/checked.gif
  • /usr/share/covered/scripts/clear.gif
  • /usr/share/covered/scripts/comb.tcl
  • /usr/share/covered/scripts/cov_create.tcl
  • /usr/share/covered/scripts/cov_icon.gif
  • /usr/share/covered/scripts/exclude.tcl
  • /usr/share/covered/scripts/find.gif
  • /usr/share/covered/scripts/fsm.tcl
  • /usr/share/covered/scripts/gen_new.tcl
  • /usr/share/covered/scripts/gen_rank.tcl
  • /usr/share/covered/scripts/gen_report.tcl
  • /usr/share/covered/scripts/help.tcl
  • /usr/share/covered/scripts/left_arrow.gif
  • /usr/share/covered/scripts/main_view.tcl
  • /usr/share/covered/scripts/memory.tcl
  • /usr/share/covered/scripts/menu_create.tcl
  • /usr/share/covered/scripts/preferences.tcl
  • /usr/share/covered/scripts/process_file.tcl
  • /usr/share/covered/scripts/right_arrow.gif
  • /usr/share/covered/scripts/summary.tcl
  • /usr/share/covered/scripts/toggle.tcl
  • /usr/share/covered/scripts/unchecked.gif
  • /usr/share/covered/scripts/verilog.tcl
  • /usr/share/covered/scripts/viewer.tcl
  • /usr/share/covered/scripts/wizard.tcl
  • /usr/share/doc/covered/NEWS.gz
  • /usr/share/doc/covered/README
  • /usr/share/doc/covered/TODO
  • /usr/share/doc/covered/changelog.Debian.gz
  • /usr/share/doc/covered/changelog.gz
  • /usr/share/doc/covered/copyright
  • /usr/share/man/man1/covered.1.gz