Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 expires: Thu, 19 Nov 1981 08:52:00 GMT cache-control: no-store, no-cache, must-revalidate pragma: no-cache set-cookie: PHPSESSID=8rhg4ev71fr5vephm7f2fcksih; path=/ content-type: text/html; charset=UTF-8 date: Sun, 28 Dec 2025 13:58:48 GMT server: Apache pkgsrc.se | The NetBSD package collection

Skip to main content.

./cad/covered, Verilog code coverage analyzer (stable release version)

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.7.10nb4, Package name: covered-0.7.10nb4, Maintainer: pkgsrc-users

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.

Required to run:
[lang/tcl] [x11/tk] [cad/iverilog]

Required to build:
[pkgtools/x11-links] [devel/gperf] [x11/xorgproto]

Master sites:

https://downloads.sourceforge.net/sourceforge/covered/ (Download)

Filesize: 3035.413 KB

Version history: (Expand)

(2025-07-15) Package has been reborn
(2025-07-15) Package deleted from pkgsrc
(2023-11-12) Updated to version: covered-0.7.10nb4
(2023-01-30) Updated to version: covered-0.7.10nb3
(2020-08-18) Updated to version: covered-0.7.10nb2
(2018-03-13) Updated to version: covered-0.7.10nb1

CVS history: (Expand)

2025-11-17 12:01:43 by Thomas Klausner | Files touched by this commit (709)

Log message:
*: switch all sourceforge HOMEPAGEs to https

2025-09-21 23:22:41 by Thomas Klausner | Files touched by this commit (37)

Log message:
*: reset maintainer

2023-11-12 14:24:43 by Thomas Klausner | Files touched by this commit (2569)

Log message:
*: revebump for new brotli option for freetype2
Addresses PR 57693

2023-01-29 22:18:34 by Ryo ONODERA | Files touched by this commit (2526)

Log message:
*: Recursive revbup from graphics/freetype2

2021-10-26 12:04:17 by Nia Alarie | Files touched by this commit (63)

Log message:
cad: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes

2021-10-07 15:20:33 by Nia Alarie | Files touched by this commit (63)

Log message:
cad: Remove SHA1 hashes for distfiles

2020-08-17 22:20:41 by Leonardo Taccari | Files touched by this commit (2201)

Log message:
*: revbump after fontconfig bl3 changes (libuuid removal)

2020-01-26 06:26:29 by Roland Illig | Files touched by this commit (189)

Log message:
all: migrate some SourceForge homepage URLs back from https to http
https://mail-index.netbsd.org/pkgsrc-changes/2020/01/18/msg205146.html
In the above commit, the homepage URLs were migrated from http to https,
assuming that SourceForge would use the same host names for both http and
https connections. This assumption was wrong. Their documentation at
https://sourceforge.net/p/forge/documentation/Custom%20VHOSTs/ states
that the https URLs use the domain sourceforge.io instead.
To make the homepages from the above commit reachable again, pkglint has
been extended to check for reachable homepages. This check is only
enabled when the --network command line option is given.
Each of the homepages that referred to https://$project.sourceforge.net
before was migrated to https://$project.sourceforge.io (27), and if that
was not reachable, to the fallback URL https://$project.sourceforge.net
(163).

Original Source | Taken Source