User guide

23-49
SystemVerilog Assertion Constructs
-cm_assert_severity int_val [,int_val...]
Reports only on OpenVera assertions specified by severity value.
You can specify any number of severity values, separating them
with commas. Only OpenVera assertions can have a severity,
SystemVerilog assertions cannot.
Tcl Commands For SVA And OVA Functional Coverage
Reports
You can produce a custom report with Tcl commands that you enter
in assertCovReport. These Tcl commands also work in fcovReport
when you want a custom report about OVA coverage. These
commands are in Table 23-1.
The Tcl command descriptions frequently refer to a bin. A bin is a
coverage value container in the coverage database. There are two
kinds of bins: boolean (which hold 0 or 1 values) and count. Count
bins can hold any unsigned value that can be stored in 32 bits.
Table 23-1 Tcl Commands for SVA and OVA Functional Coverage Reports
Command Return
Value
Description
fcov_get_assertions -instance handle array of
handles
Returns an array of handles to the
assertions of the instance with the
specified handle.
fcov_get_assertions -module handle array of
handles
Returns an array of handles to the
assertions of the module with the
specified handle.
fcov_get_bins -assertion handle array of
handles
Returns an array of handles to the
bins of the assertion with the
specified handle.
fcov_get_category -assertion handle int Returns the category of the assertion
with the specified handle expressed
as an integer.