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
Apr 13, 2021
If a picture is worth a thousand words, a video tells you the entire story. Cadence's subsystem SoC silicon for PCI Express (PCIe) 5.0 demo video shows you how we put together the latest... [[ Click on the title to access the full blog on the Cadence Community site. ]]...
Apr 12, 2021
The Semiconductor Ecosystem- It is the definition of '€œHigh Tech'€, but it isn'€™t just about… The post Calibre and the Semiconductor Ecosystem appeared first on Design with Calibre....
Apr 8, 2021
We all know the widespread havoc that Covid-19 wreaked in 2020. While the electronics industry in general, and connectors in particular, took an initial hit, the industry rebounded in the second half of 2020 and is rolling into 2021. Travel came to an almost stand-still in 20...
Apr 7, 2021
We explore how EDA tools enable hyper-convergent IC designs, supporting the PPA and yield targets required by advanced 3DICs and SoCs used in AI and HPC. The post Why Hyper-Convergent Chip Designs Call for a New Approach to Circuit Simulation appeared first on From Silicon T...

featured video

Learn the basics of Hall Effect sensors

Sponsored by Texas Instruments

This video introduces Hall Effect, permanent magnets and various magnetic properties. It'll walk through the benefits of Hall Effect sensors, how Hall ICs compare to discrete Hall elements and the different types of Hall Effect sensors.

Click here for more information

featured paper

Understanding Functional Safety FIT Base Failure Rate Estimates per IEC 62380 and SN 29500

Sponsored by Texas Instruments

Functional safety standards such as IEC 61508 and ISO 26262 require semiconductor device manufacturers to address both systematic and random hardware failures. Base failure rates (BFR) quantify the intrinsic reliability of the semiconductor component while operating under normal environmental conditions. Download our white paper which focuses on two widely accepted techniques to estimate the BFR for semiconductor components; estimates per IEC Technical Report 62380 and SN 29500 respectively.

Click here to download the whitepaper

featured chalk talk

Nordic Cellular IoT

Sponsored by Mouser Electronics and Nordic Semiconductor

Adding cellular connectivity to your IoT design is a complex undertaking, requiring a broad set of engineering skills and expertise. For most teams, this can pose a serious schedule challenge in getting products out the door. In this episode of Chalk Talk, Amelia Dalton chats with Kristian Sæther of Nordic Semiconductor about the easiest path to IoT cellular connectivity with the Nordic nRF9160 low-power system-in-package solution.

Click here for more information about Nordic Semiconductor nRF91 Cellular IoT Modules