User guide

20-50
Using OpenVera Assertions
Methods for Inlining OVA
There are four basic methods you can use to inline OVA within
Verilog:
• Unit Instantiation Using the Unit-based Checker Library
(recommended for using Synopsys-developed OVA checkers)
• Context-Independent Full Custom OVA (uses custom-developed
OVA code that resides in a Verilog file)
• Template Instantiation Using the Template-Based Checker
Library
• Context-Dependent Full Custom OVA
These methods are described in detail throughout this section. Figure
20-2 provides an overview of these methods.