User guide

23-71
SystemVerilog Assertion Constructs
Note:
In a generate statement the category value cannot be an
expression, the attribute in the following example is invalid:
genvar g;
generate
for (g=0; g<1; g=g+1)
begin:loop
(* category=g+1 *) a3: assert property (s2);
end
endgenerate
If you use a parameter for a category value, the parameter value
can be overwritten in a module instantiation statement.
You can use these attributes to assign categories to both named and
unnamed assertions. For example:
(* category=p+1 *) a1: assert property (p1);
(* category=l *) assert property (s1);
The attribute is retained in a tokens.v file when you use the
-Xman=0x4 compile-time option and keyword argument.
Stopping And Restarting Assertions By Category
The are also OpenVera assertions system tasks for starting and
stopping assertions that also work on SystemVerilog assertions.
These system tasks are as follows:
$ova_category_start(category)
System task that starts all assertions associated with the specified
category.