User guide

23-63
SystemVerilog Assertion Constructs
Next is the same information for the category numbers you used for
the SystemVerilog cover statements where the argument is a
property, and the OpenVera cover directives.
Next is the same information for the severity numbers you used for
the SystemVerilog cover statements where the argument is a
property, and the OpenVera cover directives.
Next is the category numbers you used for the SystemVerilog cover
statements where a sequence is the argument.
Next is the severity numbers you used for the SystemVerilog cover
statements where a sequence is the argument.
The hier.html File
The report begins with a list of the module instances in the design
and the number of the following in the instances:
• The number (integer) of SystemVerilog assert statements or
OpenVera assert directives.
• The number (integer) of SystemVerilog cover statements where
the argument is a sequence.
• The number (integer) of SystemVerilog cover statements where
the argument is a property, and OpenVera cover directives.
• The number (integer) of OpenVera events.