Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

OpenVera

< >

OpenVera is a programming language created in 2001.

#1285on PLDB 23Years Old
Wikipedia

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 X

- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0