User guide

21-63
OpenVera Native Testbench
5. If the switched solver succeeds, then it remains the current solver
choice.
6. Steps 3, 4, 5 are repeated for each call to randomize.
Temporal Assertions
OpenVera provides three pre-defined classes that enable the
interaction of testbenches with OpenVera or SystemVerilog
assertions. Instances of these classes (that is, the objects) are used
to:
• Synchronize OpenVera threads with assertion engine events
• Synchronize OpenVera threads with individual assertion events
• Provide access to assertion properties
Figure 21-2 shows a typical verification runtime environment with the
assertions.
Table 21-2 OpenVera Assertion Classes
Object Description
AssertEngine
Monitors and controls assertion as a whole:
- Affects all assertions
- Resets and disables all assertion attempts
- Controls information displayed at runtime and in the report
file
Assertion
Monitors and controls individual assertions:
- Affects only a specific assertion
- Resets and disables assertion attempts
AssertEvent
Synchronizes the testbench with events
- Suspends a thread of the testbench