close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Verification Coverage
Integration App

Integrating formal coverage metrics with simulation

Formal verification is a very powerful addition to any chip project, providing proofs and a degree of completeness that simulation cannot match. While formal verification may reduce the amount of simulation needed, it cannot displace simulation entirely. Some aspects of design behavior, including hardware-software co-verification, require simulation or emulation.

Given the modern chip projects rely on a mix of simulation and formal, the verification team needs to be able to plan for using both approaches and to assess the impact of their work in a common top-level views of verification progress. The OneSpin PortableCoverage platform provides these capabilities.

The Verification Coverage Integration App adds OneSpin’s unique Quantify™ coverage metrics into the coverage database, integrating formal and simulation coverage. The Quantify App uses model-based mutation coverage to provide the industry’s most accurate assessment of assertion quality and completeness. Knowing how well assertions cover the design is an important element of an assertion-based verification (ABV) flow. Integrating the assertion coverage metrics with other forms of code and functional coverage from simulation provides a comprehensive view of verification progress.

Unlike closed, single-vendor ABV flows, OneSpin’s Verification Coverage Integration App is open and supports coverage databases and simulators from all major vendors.

» Download Datasheet

Get in touch!

Validate the data transport in your design formally without writing stimulus and try OneSpin’s Scoreboarding App now!

» Contact