User guide

21-5
OpenVera Native Testbench
• Constraint solver for use in generating constrained random
stimulus
• Sequence generator for generating random stimulus streams
• Dynamic checks with clear, concise constructs called expects
that have automatic error-message generation capability for
writing self-checking testbenches
• Interfaces, containing interface signals, for providing the
connectivity between signals in a testbench and ports or internal
nodes of a design
• Virtual ports and binds for sharing of interface signals between
functionally similar testbench signals, or grouping of interface
signals into functionally similar bundles. Results in neat, efficient
and easily reusable interfaces with substantially fewer interface
signals.
• Separate compilation of testbench (LCA feature)
• Command-line interface (CLI) debugger (beta feature)
•
Getting Started With Native Testbench OpenVera
This chapter outlines the fundamental program structure used in all
OpenVera programs as well as describes the details of a typical flow
for Native Testbench. It also includes the compile and runtime
options needed when you choose to compile the example testbench
together with the design.