# 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.

- Source version: `covered-0.7.10nb4`
- Maintainer: pkgsrc-users AT NetBSD.org
- Website: https://covered.sourceforge.net/
- License: gnu-gpl-v2
- Package history: cvs, hg, git

## Build dependencies

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

## Runtime dependencies

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

## Binary packages

OS | Architecture | Version
--- | --- | ---
NetBSD 10.0 | aarch64 | covered-0.7.10nb4.tgz
NetBSD 10.0 | aarch64 | covered-0.7.10nb4.tgz
NetBSD 10.0 | aarch64eb | covered-0.7.10nb4.tgz
NetBSD 10.0 | alpha | covered-0.7.10nb4.tgz
NetBSD 10.0 | earmv6hf | covered-0.7.10nb4.tgz
NetBSD 10.0 | earmv6hf | covered-0.7.10nb4.tgz
NetBSD 10.0 | earmv7hf | covered-0.7.10nb4.tgz
NetBSD 10.0 | earmv7hf | covered-0.7.10nb4.tgz
NetBSD 10.0 | i386 | covered-0.7.10nb4.tgz
NetBSD 10.0 | i386 | covered-0.7.10nb4.tgz
NetBSD 10.0 | powerpc | covered-0.7.10nb4.tgz
NetBSD 10.0 | powerpc | covered-0.7.10nb4.tgz
NetBSD 10.0 | powerpc | covered-0.7.10nb4.tgz
NetBSD 10.0 | sparc64 | covered-0.7.10nb4.tgz
NetBSD 10.0 | x86_64 | covered-0.7.10nb4.tgz
NetBSD 10.0 | x86_64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | aarch64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | aarch64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | aarch64eb | covered-0.7.10nb4.tgz
NetBSD 11.0 | aarch64eb | covered-0.7.10nb4.tgz
NetBSD 11.0 | earmv6hf | covered-0.7.10nb4.tgz
NetBSD 11.0 | earmv6hf | covered-0.7.10nb4.tgz
NetBSD 11.0 | earmv7hf | covered-0.7.10nb4.tgz
NetBSD 11.0 | earmv7hf | covered-0.7.10nb4.tgz
NetBSD 11.0 | i386 | covered-0.7.10nb4.tgz
NetBSD 11.0 | i386 | covered-0.7.10nb4.tgz
NetBSD 11.0 | riscv64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | riscv64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | riscv64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | x86_64 | covered-0.7.10nb4.tgz
NetBSD 11.0 | x86_64 | covered-0.7.10nb4.tgz
NetBSD 9.0 | aarch64 | covered-0.7.10nb4.tgz
NetBSD 9.0 | aarch64 | covered-0.7.10nb4.tgz
NetBSD 9.0 | earmv6hf | covered-0.7.10nb4.tgz
NetBSD 9.0 | earmv6hf | covered-0.7.10nb4.tgz
NetBSD 9.0 | earmv7hf | covered-0.7.10nb4.tgz
NetBSD 9.0 | earmv7hf | covered-0.7.10nb4.tgz
NetBSD 9.0 | i386 | covered-0.7.10nb4.tgz
NetBSD 9.0 | i386 | covered-0.7.10nb4.tgz
NetBSD 9.0 | powerpc | covered-0.7.10nb4.tgz
NetBSD 9.0 | x86_64 | covered-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

(no vulnerabilities known)

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.