User guide

21-64

OpenVera Native Testbench

Note:

In this chapter the term “assertion” refers to an OVA (OpenVera

Assertion) or SVA (SystemVerilog Assertion) in the DUT or

testbench. The class, “Assertion,” is the corresponding assertion

object in the OpenVera program.

Figure 21-2 Interaction of Assertion Objects

Typically, you will have the following:

• Only one AssertEngine object

• An Assertion class object for every assertion used in the

testbench or DUT

• An AssertEvent object for every event being monitored

AssertEngine

AssertEvent

Native Testbench testbench (*.vr)

Assertion assert_obj

Event

Assertions

assertion

Actions

Triggers

AssertEngine

AssertEvent

Event