Cadence® system design and verification solutions, integrated under our System Development Suite, provide the simulation, acceleration, emulation, and management capabilities.
System Development Suite Related Products A-Z
Cadence® digital design and signoff solutions provide a fast path to design closure and better predictability, helping you meet your power, performance, and area (PPA) targets.
Full-Flow Digital Solution Related Products A-Z
Cadence® custom, analog, and RF design solutions can help you save time by automating many routine tasks, from block-level and mixed-signal simulation to routing and library characterization.
Overview Related Products A-Z
Driving efficiency and accuracy in advanced packaging, system planning, and multi-fabric interoperability, Cadence® package implementation products deliver the automation and accuracy.
Cadence® PCB design solutions enable shorter, more predictable design cycles with greater integration of component design and system-level simulation for a constraint-driven flow.
An open IP platform for you to customize your app-driven SoC design.
Comprehensive solutions and methodologies.
Helping you meet your broader business goals.
A global customer support infrastructure with around-the-clock help.
24/7 Support - Cadence Online Support
Locate the latest software updates, service request, technical documentation, solutions and more in your personalized environment.
Cadence offers various software services for download. This page describes our offerings, including the Allegro FREE Physical Viewer.
Get the most out of your investment in Cadence technologies through a wide range of training offerings.
This course combines our Allegro PCB Editor Basic Techniques, followed by Allegro PCB Editor Intermediate Techniques.
Virtuoso Analog Design Environment Verifier 16.7
Learn learn to perform requirements-driven analog verification using the Virtuoso ADE Verifier tool.
Exchange ideas, news, technical information, and best practices.
The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information.
It's not all about the technlogy. Here we exchange ideas on the Cadence Academic Network and other subjects of general interest.
Cadence is a leading provider of system design tools, software, IP, and services.
Get email delivery of the Cadence blog featured here
Will it ever be possible to come up with a unified coverage metric that tells you how complete a verification task is, regardless of which engines were used? It now appears things may be headed in that direction.
Many design and verification teams today use code coverage and/or functional coverage to measure simulation results. In a coverage-driven verification flow, these coverage metrics provide valuable feedback that results in very targeted simulation runs. In formal verification, the notion of “coverage” is less clear cut, but there are various forms of “assertion coverage.” A simple example is determining whether or not an assertion actually fired. Further, formal verification is often used to prove whether functional coverage points are reachable or not.
The problem is that formal and simulation engines have different metrics that are typically reported separately from one another. Because you don’t see a unified view, pulling together the results of multiple runs from multiple tools is a tedious and time-consuming process. Formal metrics are often “lost,” resulting in unneeded simulation runs. The problem worsens in multi-vendor flows, where each verification tool vendor has its own API, coverage database, and approach to verification coverage.
Cadence now offers a “check meter” capability in its Incisive formal and simulation products that provides formal metrics alongside testbench coverage metrics. “Our users can now plan for checks and coverage and then see the results from formal and simulation together in a unified view,” said Sarah Lynne Cooper Lundell, senior product marketing manager at Cadence. “This is important because it allows them to validate that all coverage goals were reached in the context of the checkers.”
The next step, she said, is to come up with “unified metrics” across formal, simulation and acceleration engines. The idea is that you’d be able to check off something when it’s verified, and see what has yet to be covered, regardless of which verification engines were used.
“You should be able to come up with one number,” said Tom Anderson, product marketing director at Cadence. “You should be able to see that across all platforms, all coverage types, and all regression runs that your number is 97.8 percent. And if that’s good enough, you’re done.”
The ideal situation, Tom said, is to use similar metrics for formal and simulation “as much as possible.” He said it should be possible to take what we know about code coverage in simulation, and translate it into something equivalent on the formal side. “The best way to get formal into the mainstream is to report back using the metrics people already understand,” he said.
This may in fact be possible. In a 2006 paper, researchers looked at each of the metrics used in simulation-based verification, and presented corresponding metrics that could be used in a formal setting. For example, if a line of code can be mutated or replaced and the verification still passes, the line can be left uncovered. An SCDsource interview last year with one of the authors, Hana Chockler of IBM’s Haifa Research Laboratory, provided more insights into the kinds of coverage metrics that might be useful in formal verification.
What about multi-vendor coverage? That’s where the Accellera Unified Coverage Interoperability Standard (UCIS) comes in. UCIS seeks to define standard coverage models and to define an interoperability standard that lets users exchange coverage data between different tools. “When it becomes standardized, it’s pretty likely you’ll be able to read and write coverage from anyone’s tool,” Tom said.
Cadence, Mentor and Synopsys are all participating in UCIS. Along with extending the Open Verification Methodology (OVM) with a unified coverage database, Cadence and Mentor have presented a joint proposal for an API and data model. Synopsys has presented an alternate proposal, and balloting is expected this summer.
One way or another, unified coverage metrics are on the way. What’s ultimately important is not a set of numbers or the engines beneath them – it’s a yes or no answer to the question, “am I done yet?”