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.