User guide

21-3
OpenVera Native Testbench
• Testbench Functional Coverage
• Temporal Assertions
• Using Reference Verification Methodology with OpenVera
• Testbench Optimization
Major Features Supported in Native Testbench
OpenVera
The features supported in Native Testbench have mainly two origins:
those that are related to the OpenVera language and others that are
related to the technology itself. These features are listed in the
following sections.
High-level Data Types
• Classes, with inheritance and polymorphism
• Fixed-size, dynamic (variable-size), and associative
(flexible-size) arrays
• Strings with predefined string-manipulation methods
• Enumerated type, reg, integer, event
• Lists with predefined methods
Flow Control
• All sequential control constructs