User guide

21-65
OpenVera Native Testbench
Note:
This is not the event as defined in Assertions but rather as used
in OpenVera. Here, an event is some occurrence that OpenVera
can trigger on, such as a Failure or SUCCESS event.
For more information about Assertion class, see the section titled
“OpenVera Temporal Assertion Classes” in Chapter 7 (“Predefined
Methods and Procedures”) of the OpenVera Language Reference
Manual: Native Testbench.
Temporal Assertion Flow
Once you have Assertions in the DUT or testbench, you may add
Assertion classes to your OpenVera testbench in order to access or
monitor the assertions. The following section explains how to do this,
using an example testbench.
Note:
You may have OVA (OpenVera Assertion) or SVA (SystemVerilog
Assertion) or SVA and OVA together, with Assertion classes in
OpenVera.
Adding Assertion Objects to a Testbench
There are four major steps in adding assertion objects to a
testbench:
1. Include the assertion.vrh file in the OpenVera code.
2. Create an AssertEngine object.
3. Create an Assertion object for assertion of interest in the DUT or
testbench.