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/mktools devel/bison devel/gmake pkgtools/cwrappers

Runtime dependencies

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

Binary packages

OSArchitectureVersion
NetBSD 10.0aarch64covered-0.7.10nb4.tgz
NetBSD 10.0aarch64covered-0.7.10nb4.tgz
NetBSD 10.0aarch64ebcovered-0.7.10nb4.tgz
NetBSD 10.0alphacovered-0.7.10nb4.tgz
NetBSD 10.0alphacovered-0.7.10nb4.tgz
NetBSD 10.0earmv6hfcovered-0.7.10nb4.tgz
NetBSD 10.0earmv6hfcovered-0.7.10nb4.tgz
NetBSD 10.0earmv7hfcovered-0.7.10nb4.tgz
NetBSD 10.0earmv7hfcovered-0.7.10nb4.tgz
NetBSD 10.0i386covered-0.7.10nb4.tgz
NetBSD 10.0i386covered-0.7.10nb4.tgz
NetBSD 10.0powerpccovered-0.7.10nb3.tgz
NetBSD 10.0powerpccovered-0.7.10nb4.tgz
NetBSD 10.0sparc64covered-0.7.10nb4.tgz
NetBSD 10.0sparccovered-0.7.10nb4.tgz
NetBSD 10.0x86_64covered-0.7.10nb4.tgz
NetBSD 10.0x86_64covered-0.7.10nb4.tgz
NetBSD 9.0aarch64covered-0.7.10nb4.tgz
NetBSD 9.0aarch64covered-0.7.10nb4.tgz
NetBSD 9.0alphacovered-0.7.10nb4.tgz
NetBSD 9.0alphacovered-0.7.10nb4.tgz
NetBSD 9.0earmv6hfcovered-0.7.10nb4.tgz
NetBSD 9.0earmv6hfcovered-0.7.10nb4.tgz
NetBSD 9.0earmv7hfcovered-0.7.10nb4.tgz
NetBSD 9.0earmv7hfcovered-0.7.10nb4.tgz
NetBSD 9.0i386covered-0.7.10nb4.tgz
NetBSD 9.0i386covered-0.7.10nb4.tgz
NetBSD 9.0mips64ebcovered-0.7.10nb3.tgz
NetBSD 9.0powerpccovered-0.7.10nb4.tgz
NetBSD 9.0powerpccovered-0.7.10nb3.tgz
NetBSD 9.0powerpccovered-0.7.10nb4.tgz
NetBSD 9.0sparc64covered-0.7.10nb3.tgz
NetBSD 9.0sparc64covered-0.7.10nb4.tgz
NetBSD 9.0x86_64covered-0.7.10nb4.tgz
NetBSD 9.0x86_64covered-0.7.10nb4.tgz
NetBSD 9.3x86_64covered-0.7.10nb4.tgz
NetBSD 9.3x86_64covered-0.7.10nb4.tgz

Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). 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.