diff options
Diffstat (limited to 'cad/covered/DESCR')
-rw-r--r-- | cad/covered/DESCR | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/cad/covered/DESCR b/cad/covered/DESCR new file mode 100644 index 00000000000..3a3de8062a5 --- /dev/null +++ b/cad/covered/DESCR @@ -0,0 +1,17 @@ +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 seperate package (covered-current) which is made of +development snapshots. |