1e48941c59
This is a development snapshot. Packages of the released/stable versions will be imported as 'cad/covered' when available. 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 seperate package which is made of the stable releases. |
||
---|---|---|
.. | ||
acs | ||
atlc | ||
boolean | ||
cascade | ||
covered-current | ||
dinotrace | ||
eagle | ||
electric | ||
fastcap | ||
fasthenry | ||
felt | ||
geda | ||
geda-docs | ||
geda-symbols | ||
geda-utils | ||
gerbv | ||
gnetlist | ||
gnucap | ||
gschem | ||
gsymcheck | ||
gwave | ||
ipal-current | ||
libgeda | ||
magic | ||
mcalc | ||
mpac | ||
ng-spice | ||
ntesla | ||
oregano | ||
pcb | ||
qcad | ||
simian | ||
simian-docs | ||
spice | ||
spiceprm | ||
tkgate | ||
verilog | ||
verilog-current | ||
verilog-mode | ||
vipec | ||
xchiplogo | ||
xcircuit | ||
Makefile |