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: 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.

Leave a Reply

featured blogs
Dec 2, 2024
The Wi-SUN Smart City Living Lab Challenge names the winners with Farmer's Voice, a voice command app for agriculture use, taking first place. Read the blog....
Dec 3, 2024
I've just seen something that is totally droolworthy, which may explain why I'm currently drooling all over my keyboard....

featured video

Introducing FPGAi – Innovations Unlocked by AI-enabled FPGAs

Sponsored by Intel

Altera Innovators Day presentation by Ilya Ganusov showing the advantages of FPGAs for implementing AI-based Systems. See additional videos on AI and other Altera Innovators Day in Altera’s YouTube channel playlists.

Learn more about FPGAs for Artificial Intelligence here

featured paper

Quantized Neural Networks for FPGA Inference

Sponsored by Intel

Implementing a low precision network in FPGA hardware for efficient inferencing provides numerous advantages when it comes to meeting demanding specifications. The increased flexibility allows optimization of throughput, overall power consumption, resource usage, device size, TOPs/watt, and deterministic latency. These are important benefits where scaling and efficiency are inherent requirements of the application.

Click to read more

featured chalk talk

MCX Enablement: MCUXpresso Ecosystem
In this episode of Chalk Talk, Kyle Dando from NXP and Amelia Dalton discuss the multitude of benefits of the NXP’s MCUXpresso Ecosystem. They also explore how the Visual Studio Code, Application Code Hub and improved software delivery enhance MCX microcontroller development and how you can get started using the MCUXpresso ecosystem for your  next design. 
Nov 6, 2024
32,000 views