User guide

23-47
SystemVerilog Assertion Constructs
The Tcl commands provided by VCS, that you can input to
fcovReport for OVA coverage reports (see "Tcl Commands For
SVA And OVA Functional Coverage Reports" on page 23-49), you
can also input to assertCovReport for SystemVerilog assertion
(SVA) coverage.
-cm_assert_cov_cover
Specifies reporting only about cover statements.
-cm_assert_cov
Specifies reporting only about cover and assert statements
(no OVA coverage).
-cm_assert_category category_val
[,category_val...]
Reports only on assertions specified by category value. You can
specify any number of category values, separating them with
commas.
-cm_assert_cov_events
Specifies only reporting on OpenVera assertion events.
-cm_assert_name path
Specifies the path of the template database. If this option is not
included, assertCovReport uses simv.vdb.
-cm_assert_grade_instances target,metric
[, time_limit]
Generates an additional report, grade.html, that lists the minimum
set of tests that add up to the target value for the metric (see
previous page for metric codes). The grading is by instance.
-cm_assert_grade_module target, metric
[, time_limit]
Generates an additional report, grade.html, that lists the minimum
set of tests that add up to the target value for the metric (see
previous page for metric codes). The grading is by module.