User guide

20-1

Using OpenVera Assertions

Using OpenVera Assertions 1

This chapter introduces the OpenVera Assertions (OVA) language

and explains how to compile and run OVA within VCS. It covers the

following topics:

• Introducing OVA

• OVA Flow

• Checking OVA Code With the Linter Option

• Compiling Temporal Assertions Files

• OVA Runtime Options

• OpenVera Assertions Post-Processing

• Viewing Output Results

• Using OVA with Third Party Simulators

• Inlining OVA in Verilog