OneSpin Puts Verification on the Move with New PortableCoverage Solution

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

MUNICH, Germany 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.


Nanette Collins                          
Public Relations for OneSpin 
(617) 437-1822                                       
Email Contact

Review Article Be the first to review this article

 Advanced Asembly

Featured Video
Latest Blog Posts
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
You’re Invited! SEMI’s Innovation for a Transforming World
intelThe Dominion of Design
by intel
The Long Game: Product and Security Assurance
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Setting a High Standard for Standards-Based IP
Technical Product Manager- SISW-EDA 238452 for Siemens AG at Fremont, California
Test and Measurement System Architect for Xilinx at San Jose, California
Circuit Design & Layout Simulation Engineer - Co-Op (Spring 2021) for Global Foundaries at Santa Clara, California
Senior HID Sensor Algorithm Architect for Apple Inc at Cupertino, California
NAND Hardware Engineer for Apple Inc at Cupertino, California
SerDes Applications Design Engineer for Xilinx at San Jose, California
Upcoming Events
Join Chipx2021 - at Tel Aviv Expo convention center Tel Aviv Israel - Jun 21 - 22, 2021
Innovation for a Transforming World -virtual Event at United States - Jul 13 - 14, 2021
DesignCon 2021 at San Jose McEnery Convention Center San Jose, CA San Jose CA - Aug 16 - 18, 2021
True Circuits IoT

© 2021 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise