cad/covered - The NetBSD Packages Collection

Verilog code coverage analyzer (stable release version)

Covered is a Verilog code coverage analysis tool that can be useful
for determining how well a diagnostic test suite is covering the
design under test. Typically in the design verification work flow, a
design verification engineer will develop a self-checking test suite
to verify design elements/functions specified by a design's
specification document. When the test suite contains all of the tests
required by the design specification, the test writer may be asking
him/herself, "How much logic in the design is actually being
exercised?", "Does my test suite cover all of the logic under test?",
and "Am I done writing tests for the logic?".  When the design
verification gets to this point, it is often useful to get some
metrics for determining logic coverage. This is where a code coverage
utility, such as Covered, is very useful.

Please note that this package is for a stable release version.
There is a separate package (covered-current) which is made of
development snapshots.

Build dependencies

pkgtools/x11-links devel/gperf x11/xorgproto pkgtools/cwrappers devel/bison devel/gmake

Runtime dependencies

cad/iverilog lang/tcl x11/tk lang/tcl x11/tk

Available binary packages

aarch64:covered-0.7.10nb1.tgz(NetBSD 9.0)
aarch64:covered-0.7.10nb2.tgz(NetBSD 9.0)
aarch64:covered-0.7.10nb2.tgz(NetBSD 9.0)
alpha:covered-0.7.10nb2.tgz(NetBSD 9.0)
alpha:covered-0.7.10nb2.tgz(NetBSD 9.0)
earmv6hf:covered-0.7.10nb2.tgz(NetBSD 9.0)
earmv6hf:covered-0.7.10nb1.tgz(NetBSD 9.0)
earmv6hf:covered-0.7.10nb2.tgz(NetBSD 9.0)
earmv6hf:covered-0.7.10nb2.tgz(NetBSD 9.0)
earmv7hf:covered-0.7.10nb2.tgz(NetBSD 8.0)
earmv7hf:covered-0.7.10nb1.tgz(NetBSD 8.0)
earmv7hf:covered-0.7.10nb1.tgz(NetBSD 8.0)
earmv7hf:covered-0.7.10nb2.tgz(NetBSD 9.0)
earmv7hf:covered-0.7.10nb1.tgz(NetBSD 9.0)
earmv7hf:covered-0.7.10nb1.tgz(NetBSD 9.0)
earmv7hf:covered-0.7.10nb2.tgz(NetBSD 9.0)
earmv7hf:covered-0.7.10nb2.tgz(NetBSD 9.0)
i386:covered-0.7.10nb1.tgz(NetBSD 8.0)
i386:covered-0.7.10nb2.tgz(NetBSD 8.0)
i386:covered-0.7.10nb2.tgz(NetBSD 8.0)
i386:covered-0.7.10nb1.tgz(NetBSD 9.0)
i386:covered-0.7.10nb2.tgz(NetBSD 9.0)
i386:covered-0.7.10nb2.tgz(NetBSD 9.0)
mips64eb:covered-0.7.10nb2.tgz(NetBSD 9.0)
powerpc:covered-0.7.10nb1.tgz(NetBSD 8.0)
powerpc:covered-0.7.10nb2.tgz(NetBSD 8.0)
powerpc:covered-0.7.10nb2.tgz(NetBSD 8.0)
powerpc:covered-0.7.10nb2.tgz(NetBSD 9.0)
powerpc:covered-0.7.10nb1.tgz(NetBSD 9.0)
sparc64:covered-0.7.10nb2.tgz(NetBSD 9.0)
sparc64:covered-0.7.10nb2.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 8.0)
x86_64:covered-0.7.10nb1.tgz(NetBSD 8.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 8.0)
x86_64:covered-0.7.10nb1.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 9.0)
x86_64:covered-0.7.10nb2.tgz(NetBSD 9.0)

Binary packages can be installed with pkgin or pkg_add(1). The NetBSD packages collection is also designed to permit easy installation from source.

Available build options

(none)

Known vulnerabilities

The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.

Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.


Problem reports, updates or suggestions for this package should be reported with send-pr.


[ Go up one level | Go to top of packages tree | List all packages ]