User guide

23-72
SystemVerilog Assertion Constructs
$ova_category_stop(category)
System task that stops all assertions associated with the specified
category.
Using Mask Values To Stop And Restart Assertions
There are system tasks for both OpenVera and SystemVerilog
assertions that allow you to use a mask to determine if a category of
assertions should be stopped or restarted. These system tasks are
$ova_category_stop and $ova_category_start. They have
matching syntax.
$ova_category_stop(categoryValue, maskValue[, globalDirective]);
Here:
categoryValue
Because there is a maskValue argument, this argument now is
the result of an anding operation between the assertion categories
and the maskValue argument. If the result matches this value,
these categories stop. As seen in "Stopping And Restarting
Assertions By Category" on page 23-71, without the maskValue
argument, this argument is the value you specified in
$ova_set_category system tasks or category attribute.
maskValue
A value that is logically anded with the category of the assertion.
If the result of this and operation matches the categoryValue,
VCS stops monitoring the assertion.