| |||
|---|---|---|---|
|
|
||
INTRODUCTION
Introduction
OpenVera is an intuitive easy to learn language that combines the familiarity and strengths of HDLs, C++ and Java, with additional constructs targeted at functional verification making it ideal for developing testbenches, assertions and properties. OpenVera accelerates the creation of a verification environment by providing high-level constructs specifically designed for verification of complex SoCs. Designers create testbenches and assertions using OpenVera and EDA vendors create tools that are automatically interoperable.
Comments In Openvera:
In OpenVera supports two tytes of comments.
# One line comment : Starts with
// and ends at the end of the line.
# Block comments : Starts with
/* and ends with */
Numbers In Openvera:
In OpenVera,numbers can be represented in two formats.
# Simple integer number. Ex: 1, 50, + 20 ,- 33,- 3_3.
# base ' size notaion . Ex: 1'b0,2'00,'haf,3`d555.
Underscore _ are ignored.
X and x are unknown and Z and z are high impedence values.
Introduction
OpenVera is an intuitive easy to learn language that combines the familiarity and strengths of HDLs, C++ and Java, with additional constructs targeted at functional verification making it ideal for developing testbenches, assertions and properties. OpenVera accelerates the creation of a verification environment by providing high-level constructs specifically designed for verification of complex SoCs. Designers create testbenches and assertions using OpenVera and EDA vendors create tools that are automatically interoperable.
Comments In Openvera:
In OpenVera supports two tytes of comments.
# One line comment : Starts with
// and ends at the end of the line.
# Block comments : Starts with
/* and ends with */
Numbers In Openvera:
In OpenVera,numbers can be represented in two formats.
# Simple integer number. Ex: 1, 50, + 20 ,- 33,- 3_3.
# base ' size notaion . Ex: 1'b0,2'00,'haf,3`d555.
Underscore _ are ignored.
X and x are unknown and Z and z are high impedence values.
Index
Introduction
Data Types
Linked List
Operators Part 1
Operators Part 2
Operators Part 3
Operator Precedence
Control Statements
Procedures And Methods
Interprocess
Fork Join
Shadow Variables
Fork Join Control
Wait Var
Event Sync
Event Trigger
Semaphore
Regions
Mailbox
Timeouts
Oop
Casting
Randomization
Randomization Methods
Constraint Block
Constraint Expression
Variable Ordaring
Aop
Predefined Methods
String Methods
Queue Methods
Dut Communication
Functional Coverage
Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!
Introduction
Data Types
Linked List
Operators Part 1
Operators Part 2
Operators Part 3
Operator Precedence
Control Statements
Procedures And Methods
Interprocess
Fork Join
Shadow Variables
Fork Join Control
Wait Var
Event Sync
Event Trigger
Semaphore
Regions
Mailbox
Timeouts
Oop
Casting
Randomization
Randomization Methods
Constraint Block
Constraint Expression
Variable Ordaring
Aop
Predefined Methods
String Methods
Queue Methods
Dut Communication
Functional Coverage
Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!