User guide

23-69
SystemVerilog Assertion Constructs
• Using attributes
After you categorize assertions you can use these categories to stop
and restart assertions.
Using OpenVera Assertion System Tasks
VCS has a number of system tasks and functions for OpenVera
assertions that also work on SystemVerilog assertions. These system
tasks do the following:
• Set a category for an assertion
• Return the category of an assertion
These system tasks are as follows:
$ova_set_category("assertion_full_hier_name",
category)
or
$ova_set_category(assertion_full_hier_name,
category)
System task that sets the category level attributes of an assertion.
The category level is an unsigned integer from 0 to 2
24
- 1.
Note:
These string arguments, such as the full hierarchical name of an
assertion, can be enclosed in quotation marks or not. This is true
when using these system tasks with SVA. They must be in
quotation marks when using them with OVA.