PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

OpenVera

OpenVera

OpenVera is a pl created in 2001.

#485on PLDB 21Years Old 105Users
0Books 0Papers

OpenVera is a hardware verification language developed and managed by Synopsys. OpenVera is an interoperable, open hardware verification language for testbench creation. The OpenVera language was used as the basis for the advanced verification features in the IEEE Std. Read more on Wikipedia...


Example from the web:
// This Examples shows how random // Test vectors is generated // This is base object class m_base_o { rand bit [7:0] addr ; rand bit [7:0] data ; rand bit rd_wr; constraint c1 { addr > 0; data > 0; } task print() { printf ("-------------------------\n"); printf ("Address : %x\n",addr); printf ("Data : %x\n",data); printf ("Write : %x\n",rd_wr); } } // This is transcation generator class txgen { m_base_o base_ob; integer num_cmds; integer i,s; // Method to generate commands task gen_tx () { base_ob = new(); // Generate num_cmds commands for ( i = 0; i < num_cmds; i ++) { s = base_ob.randomize(); base_ob.print(); } } } // Top level for any vera testbench program memory { txgen tx; tx = new(); tx.num_cmds = 5; tx.gen_tx(); }

Language features

Feature Supported Example Token
Comments
// A comment
Line Comments
// A comment
//
Semantic Indentation ϴ
gosu.html · openvera.html · felix.html

View source

PLDB - Build the next great programming language · v2022 · Day 33 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com