Introduction to CovVise¶
Written by Robert Woods-Corwin, and Wilson Snyder <email@example.com>.
CovVise is no longer under development nor supported. If you are interested in the past development, we can send you a tarball.
CovVise is an open source verification coverage database system that handles billions of events per day, optionally under the BugVise or SystemPerl systems.
CovVise is a unique coverage system in these ways:
- CovVise can handle 100,000 plus bins (coverage points) per test.
- CovVise can handle 100,000 plus test runs per day, per database server.
- CovVise not only tracks passing tests, but can identify bins which were only hit by failing tests - extremely interesting points to test further.
- CovVise identifies bins that were hit only once or twice in a test; possibly only due to reset transitions.
- CovVise uses hashed objects for all data structures, so that data can be automatically moved between databases. This allows load sharing between multiple coverage database servers. For example, the regression system may populate multiple collection database servers, which in turn feed a master production database. The production database is then age-purged to an archival database. This allows scaling to millions of tests per day.
Papers and Presentations¶
CovVise was presented by Wilson Snyder <firstname.lastname@example.org> at the 2009 Boston Synopsys User's Group.
Developing Silicon IP with Open Source Tools - Paper on economies of using Verilator and CovVise by Arthur Low.
See "man CovVise::Manual" on a system with CovVise installed.
Metrigator is used for graphing coverage over time:
See the buttons at the top of this page, which include: