User guide

23-73
SystemVerilog Assertion Constructs
globalDirective
Can be either of the following values:
0
Enables an $ova_category_start system task, that does
not have a globalDirective argument, to restart the
assertions stopped with this system task.
1
Prevents an $ova_category_start system task that does
not have a globalDirective argument from restarting the
assertions stopped with this system task.
$ova_category_start(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 start. 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 starts monitoring the assertion.