This package is 527.1 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/c/covered/covered_0.7.10-3build1_amd64.deb
.
View its full control file here:
debian/control
.
Verilog code coverage analysis tool
covered 0.7.10-3build1 is in ubuntu - bionic / universe. This package's architecture is: amd64.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/covered
|
application/x-sharedlib | root:root | 0o755 | 1007.5 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/covered/
|
root:root | 0o755 | ||
/usr/lib/x86_64-linux-gnu/covered/covered.cver.so
|
application/x-sharedlib | root:root | 0o644 | 450.9 KB |
/usr/lib/x86_64-linux-gnu/covered/covered.vpi
|
application/x-sharedlib | root:root | 0o755 | 450.9 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/covered/
|
root:root | 0o755 | ||
/usr/share/covered/.coveredrc
|
text/plain | root:root | 0o644 | 7.4 KB |
/usr/share/covered/scripts/
|
root:root | 0o755 | ||
/usr/share/covered/scripts/assert.tcl
|
text/plain | root:root | 0o644 | 15.2 KB |
/usr/share/covered/scripts/balloon.tcl
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/covered/scripts/banner.gif
|
image/gif | root:root | 0o644 | 26.2 KB |
/usr/share/covered/scripts/cdd_view.tcl
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/covered/scripts/checked.gif
|
image/gif | root:root | 0o644 | 83 bytes |
/usr/share/covered/scripts/clear.gif
|
image/gif | root:root | 0o644 | 85 bytes |
/usr/share/covered/scripts/comb.tcl
|
text/plain | root:root | 0o644 | 26.3 KB |
/usr/share/covered/scripts/cov_create.tcl
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/covered/scripts/cov_icon.gif
|
image/gif | root:root | 0o644 | 281 bytes |
/usr/share/covered/scripts/exclude.tcl
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/covered/scripts/find.gif
|
image/gif | root:root | 0o644 | 370 bytes |
/usr/share/covered/scripts/fsm.tcl
|
text/plain | root:root | 0o644 | 15.7 KB |
/usr/share/covered/scripts/gen_new.tcl
|
text/plain | root:root | 0o644 | 67.1 KB |
/usr/share/covered/scripts/gen_rank.tcl
|
text/plain | root:root | 0o644 | 31.5 KB |
/usr/share/covered/scripts/gen_report.tcl
|
text/plain | root:root | 0o644 | 16.5 KB |
/usr/share/covered/scripts/help.tcl
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/covered/scripts/left_arrow.gif
|
image/gif | root:root | 0o644 | 115 bytes |
/usr/share/covered/scripts/main_view.tcl
|
text/plain | root:root | 0o644 | 21.3 KB |
/usr/share/covered/scripts/memory.tcl
|
text/plain | root:root | 0o644 | 17.1 KB |
/usr/share/covered/scripts/menu_create.tcl
|
text/plain | root:root | 0o644 | 13.3 KB |
/usr/share/covered/scripts/preferences.tcl
|
text/plain | root:root | 0o644 | 53.0 KB |
/usr/share/covered/scripts/process_file.tcl
|
text/plain | root:root | 0o644 | 40.5 KB |
/usr/share/covered/scripts/right_arrow.gif
|
image/gif | root:root | 0o644 | 115 bytes |
/usr/share/covered/scripts/summary.tcl
|
text/plain | root:root | 0o644 | 10.2 KB |
/usr/share/covered/scripts/toggle.tcl
|
text/plain | root:root | 0o644 | 9.6 KB |
/usr/share/covered/scripts/unchecked.gif
|
image/gif | root:root | 0o644 | 70 bytes |
/usr/share/covered/scripts/verilog.tcl
|
text/plain | root:root | 0o644 | 14.9 KB |
/usr/share/covered/scripts/viewer.tcl
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/covered/scripts/wizard.tcl
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/covered/
|
root:root | 0o755 | ||
/usr/share/doc/covered/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/covered/copyright
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/doc/covered/NEWS.gz
|
application/gzip | root:root | 0o644 | 163 bytes |
/usr/share/doc/covered/README
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/covered/TODO
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/covered.1.gz
|
application/gzip | root:root | 0o644 | 7.8 KB |