User guide

23-46
SystemVerilog Assertion Constructs
Assertion coverage can also grade the effectiveness of tests,
producing a list of the minimum set of tests that meet the coverage
target. Tests can be graded on any of these metrics:
• Number of successful assertion attempts versus number of
assertions (metric = SN)
• Number of failed assertion attempts versus number of assertions
(metric = FN)
• Number of assertion attempts versus number of assertions
(metric = AN)
• Number of successful assertion attempts versus number of
assertion attempts (metric = SA)
• Number of failed assertion attempts versus number of assertion
attempts (metric = FA)
To generate a report, run the following command:
assertCovReport [options]
The command line options are as follows:
-e TCL_script | -
Use this option to produce a custom report using Tcl scripts or
entering Tcl commands at standard input (keyboard). Most of the
other assertCovReport options are processed before the Tcl
scripts or keyboard entries.
-e TCL_script
Specifies the path name of a Tcl script to execute. To use
multiple scripts, repeat this option with each script’s path name.
They are processed in the order listed.
-e -
Specifies your intent to enter Tcl commands at the keyboard.