OpenVera and OpenVera Assertions Verification IP Solutions Cutting down the time to first test

OVA Verification IP
OpenVera Assertions (OVA) is a high-level verification language that enables an assertion-based methodology for improving verification productivity, and is supported by a library of reusable IP. Design and verification engineers use OVA's powerful declarative constructs to easily create and maintain concise verification code. Designed for checking compliance with widely adopted and emerging protocols, OVA verification IP are reusable modules that accelerate the development of a complete verification environment, improving overall efficiency and productivity for design and verification engineers. With a growing list of tool support, OVA IP can easily be utilized across a variety of verification tools - simulation, testbench, debug, and formal analysis.

OpenVera Verification IP
OpenVera (OV) verification IP are reusable verification modules that typically consist of bus functional models, traffic generators, protocol monitors, and functional coverage blocks. Each OV verification IP accelerates the development of a complete verification environment to cut down the time to first test. Based on widely used and emerging protocols, OV verification IP are standards-compliant, plug and play modules that cut down overall verification time for engineers using Synopsys, Inc.'s VERA. They contain the necessary infrastructure for testbench generation and checking mechanisms, as well as all the appropriate routines to create individual protocols or bus functional models. OV verification IP solutions enable verification engineers to focus on verifying their designs rather than spending an excessive amount of time setting up complex verification environments.

---

For More Information
For more information, please send an email to: feedback@openvera.com