The Vera Open Source Initiative (VOSI) welcomes technical papers of interest to the community. To submit a paper, send an email to feedback@open-vera.com for guidelines and acceptable formats.

Listed below are VOSI technical papers and presentations that are publicly available. You can view the papers by downloading the PDF file.

Format  Description Author [HTML] Using Vera and Constrained-Random Verification to Improve DesignWare Core Quality Synopsys, Inc. [PDF] Integration of Vera and System Studio Synopsys, Inc. [PDF] Verification of a NET+ARM Processor with VCS and Vera Brad Hollister, NetSilicon [PDF] Using Vera in the Lab K.C. Buckenmaier, Changyong Yang, Jie Ding – Hifn Chris Spear – Synopsys, Inc. [PDF] Constrained Random Test Environment for SoC Verification using VERA Victor Besyakov, David Shleifman - Tundra Semiconductor [PDF] OVA Checker Intellectual Property (IP) Methodology and Guidelines Synopsys, Inc. [PDF] OpenVera Assertions White Paper Synopsys, Inc. [PDF] Assertion-Based Verification Synopsys, Inc. [PDF] Verification Intellectual Property (IP) Modeling Architecture Mehdi Mohtashemi; Azita Mofidian - Synopsys, Inc. [PDF] A Verification Environment for PCI-X BFMs in VERA Renwei Wang, Zongyao Wen - Synopsys, Inc. [PDF] Hardware Verification with the Unified Modeling Language and VERA Kevin Thompson, Ladd Williamson - Cypress Semiconductor [PDF] A Scalable Verification Methodology using VERA Venkat Rajaraman, Narayanan Vydianathan, Khosrow Hajikhani - Sun Microsystems [PDF] Network System Verification with VERA Senthil Krishnamoorthy, Rajesh Guravannavar, Gorav Arora - Redwave Networks, Inc. [HTML] OpenVera Technology Backgrounder Synopsys, Inc. [HTML] Synopsys’ Commitment to EDA Tool Interoperability Expands to Verification Synopsys, Inc. [PDF] Managing EDA Complexity To Deliver Industry Leading Microprocessors Dwayne Lee, Engineering Manager-Sun Microsystems, Inc. [PDF] Using VERA to Test a DMA Engine Stefen Boyd - Boyd Technology, Inc. [PDF] Functional Verification of a HW Block Using VERA Marco Brunelli, Francesco Sforza, Luca Battu, Andrea Castelnuovo - ST Microelectronics [PDF] Exploiting the Power of VERA: Creating Useful Class Libraries Janick Bergeron, Dave Simmons-Qualis Design Corp