industry news
Subscribe Now

OneSpin Puts Verification on the Move with New PortableCoverage Solution

Enables Integration of Formal Results, Coverage with any Simulator or Verification Planning Tool

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:

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.

Leave a Reply

featured blogs
Jan 20, 2022
High performance computing continues to expand & evolve; our team shares their 2022 HPC predictions including new HPC applications and processor architectures. The post The Future of High-Performance Computing (HPC): Key Predictions for 2022 appeared first on From Silico...
Jan 20, 2022
As Josh Wardle famously said about his creation: "It's not trying to do anything shady with your data or your eyeballs ... It's just a game that's fun.'...
Jan 20, 2022
We are very excited to be part of a team selected for a Dept. of Energy INCITE Award. The Innovative and Novel Computational Impact on Theory and Experiment program is how the DoE's Office of... [[ Click on the title to access the full blog on the Cadence Community site...

featured video

Synopsys & Samtec: Successful 112G PAM-4 System Interoperability

Sponsored by Synopsys

This Supercomputing Conference demo shows a seamless interoperability between Synopsys' DesignWare 112G Ethernet PHY IP and Samtec's NovaRay IO and cable assembly. The demo shows excellent performance, BER at 1e-08 and total insertion loss of 37dB. Synopsys and Samtec are enabling the industry with a complete 112G PAM-4 system, which is essential for high-performance computing.

Click here for more information about DesignWare Ethernet IP Solutions

featured paper

nanoPower Module Extends Battery Life in Space-Constrained Applications

Sponsored by Analog Devices

Designers can now increase battery life and reduce size in space-constrained IoT devices with a power module that features the lowest quiescent current compared to competitive solutions and uSLIC built-in inductor technology that reduces solution size by up to 37%.

Read Now

featured chalk talk

Simplifying Brushless Motor Controls with Toshiba Motor Control Solutions

Sponsored by Mouser Electronics and Toshiba

Making sure your motor control design is efficient and ready for primetime can be a complicated process. In this episode of Chalk Talk, Amelia Dalton chats with Alan Li from Toshiba about the basics of brushless motor control, more advanced variables including lead angle control and intelligent phase control and most importantly, how you can simplify your next brushless motor control design.

Click here for more information about Toshiba Brushless Motor Driver ICs