NOTICE: This package has been removed from pkgsrc

./cad/covered-current, Verilog code coverage analyzer (development snapshot)

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]


Branch: CURRENT, Version: 20060904nb5, Package name: covered-current-20060904nb5, Maintainer: dmcmahill

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 a development snapshot and while it
contains the latest and greatest features, it may be buggy as well.
There is a separate package which is made of the stable releases.


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

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

Master sites:

SHA1: 78869b20bc6e032b4dac3a3029c4ea6a97962d3a
RMD160: c1a9e841f7e0a341bd8bce5c4f04e349e0b07672
Filesize: 1512.83 KB

Version history: (Expand)


CVS history: (Expand)


   2016-10-08 16:31:33 by Kamil Rytarowski | Files touched by this commit (6) | Package removed
Log message:
Drop covered-current

It used to track cad/covered but the last upgrade happened to be 20060904.
   2015-11-03 01:21:20 by Alistair G. Crooks | Files touched by this commit (58)
Log message:
Add SHA512 digests for distfiles for cad category

Problems found with existing distfile for eagle:
	distfiles/eagle-lin32-7.4.0.run
No changes made to eagle/distinfo file.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2014-10-09 16:07:17 by Thomas Klausner | Files touched by this commit (1163)
Log message:
Remove pkgviews: don't set PKG_INSTALLATION_TYPES in Makefiles.
   2014-01-20 20:20:09 by Joerg Sonnenberger | Files touched by this commit (22)
Log message:
Fix build with TCL 8.6
   2014-01-11 15:42:06 by Adam Ciarcinski | Files touched by this commit (106)
Log message:
Revbump after updating tcl/tk.
   2013-06-06 14:55:24 by Thomas Klausner | Files touched by this commit (1687)
Log message:
Bump PKGREVISION for libXft changes for NetBSD native X support on
NetBSD 6, requested by tron.
   2013-06-05 00:17:35 by Matthias Scheler | Files touched by this commit (1946)
Log message:
Try to fix the fallout caused by the fix for PR pkg/47882. Part 3:

Recursively bump package revisions again after the "freetype2" and
"fontconfig" handling was fixed.
   2013-06-03 12:06:28 by Thomas Klausner | Files touched by this commit (1948)
Log message:
Bump freetype2 and fontconfig dependencies to current pkgsrc versions,
to address issues with NetBSD-6(and earlier)'s fontconfig not being
new enough for pango.

While doing that, also bump freetype2 dependency to current pkgsrc
version.

Suggested by tron in PR 47882