User guide

20-45
Using OpenVera Assertions
• The category.html file is generated when -ova_cov_category
and/or -ova_cov_severity are used to filter results. Tables
display functional coverage results for assertions showing the
assertions having the category and severity specified along with
number of attempts, successes, failures and incompletes.
To generate the assertion and event summary report, run the
fcovReport command after compilation and simulation:
fcovReport [-ova_cov_severity value,...]
[-ova_cov_category value,...]
Command Line 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 fcovReport options are processed before the Tcl scripts or
keyboard entries. The exception is -ova_cov_report, which is
ignored. Its function should be in the Tcl.
-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 keyword.
You can input the Tcl commands provided by VCS to fcovReport
for OVA coverage reports (see “Tcl Commands For SVA And OVA
Functional Coverage Reports” on page 23-49), and to
assertCovReport for SystemVerilog assertion (SVA) coverage.