User guide

20-51
Using OpenVera Assertions
Figure 20-2 Methods for Inlining OVA within Verilog
OVA Checker Library
Method #1 — Unit-based Instantiation
Method #2 — Context Independent
Full Custom OVA
Method #3 — Template Instantiation
Method #4 — Context Dependent
Full Custom OVA
Unit-based
Checkers
Template-based
Checkers
OVA code calls unit-based
Bind statement instantiates
custom OVA code
checkers from Checker Library
OVA code calls template-based
checkers from Checker Library
OVA code (minus the unit def.) is directly embedded in Verilog module.
Verilog File (.v)
Verilog File (.v)
Verilog File (.v)
Verilog File (.v)
module
endmodule
module
endmodule
module
endmodule
module
endmodule