MUNICH and SAN JOSE, CALIF. –– October 23, 2018 –– OneSpin® Solutions today announced PortableCoverage™, the first formal verification solution to integrate with all major simulators, coverage databases and viewers, and chip design verification planning tools, enabling users to choose the vendor or multiple vendors of their choice.
“Simulation and formal verification are essential to our chip design verification strategy,” says Thomas Klotz, verification expert at Bosch Sensortec. “We need to continually assess overall verification progress in order to determine next steps and measure progress against our schedule. OneSpin’s PortableCoverage provides us with that capability in an open verification flow so we can use best-in-class tools from multiple vendors.”
Introducing PortableCoverage
“Formal verification is now a part of the mainstream flow and used by many verification engineers, so it must be integrated with simulation-based tools,” remarks Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “Engineers need robust, flexible flows to quickly address new requirements. OneSpin’s PortableCoverage provides the freedom to seamlessly integrate formal into efficient, future-proof verification flows.”
PortableCoverage enables the integration of formal and simulation for a precise, quantitative verification assessment and a comprehensive view of verification progress. This minimizes overlap between formal and simulation work, reducing overall verification effort. PortableCoverage integrates formal and simulation coverage metrics in the coverage database for a unified view of coverage status.
Two new formal apps, the Verification Coverage Integration (VCI) App and the Coverage Closure Accelerator (CCA) App, make this possible. Once the VCI App adds OneSpin’s Quantify™ coverage metrics into the user’s coverage database, the coverage viewer shows the integrated formal and simulation metrics, providing a unified view of coverage status.
The CCA App identifies unreachable coverage points and provides them to the simulator, accelerating coverage closure while eliminating wasted effort trying to hit unreachable coverage points.
PortableCoverage also includes OneSpin’s Verification Planning Integration (VPI) App that annotates formal results from OneSpin’s tools into the verification plan. The integrated formal and simulation results provide a comprehensive view of the verification plan. It also ensures engineers meet stringent safety standards by providing a link that tracks verification results back to design specification.
The Quantify App uses formal model-based mutation coverage for an accurate assessment of assertion quality and completeness. Coverage data can be integrated with traditional structural coverage metrics.
All of OneSpin’s apps leverage formal verification technology provided by the OneSpin 360 DV-Inspect™ and OneSpin 360 DV-Verify™ products.
PortableCoverage is shipping now. Pricing is available upon request. More information about PortableCoverage can be found at: http://bit.ly/2PO0Ezt
The first public presentation of PortableCoverage will be showcased Wednesday and Thursday, October 24 and 25, during DVCon Europe in Booth #402 at the Holiday Inn Munich City Centre in Munich, Germany. Exhibits are open Wednesday from 10 a.m. until 7 p.m. and Thursday from 10:30 a.m. until 6:30 p.m.
About OneSpin Solutions
OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin enables users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.
