industry news
Subscribe Now

Mentor Graphics Expands Formal Verification’s Reach with New Cross-Platform GUI and Apps for Sequential Logic Equivalence Checking and CDC Gate-Level Analysis

  • Over 5x reduction in debug cycles with a new, interactive multi-platform GUI for the Questa® PropCheck and Questa CDC apps that enables users to be productive anywhere 24/7.

  • Reducing verification turn-around time by up to 10x, the new formal-based Questa Sequential Logic Equivalence Checking (SLEC®) app is optimized for RTL-to-RTL equivalence checking.

  • The new Questa Clock Domain Crossing (CDC) Gate-level verification app helps minimize re-spins and ensures critical synchronization logic has not been disrupted.

Mentor, a Siemens business, today announced new formal-based technologies in the Questa Verification Solution that provide RTL designers and verification engineers with the ability to more easily perform exhaustive formal verification analysis. The new interactive multi-platform graphical user interface (GUI) for the Questa PropCheck and Questa CDC apps enables users to be productive anywhere. The Questa Verification Solution now also offers formal-based RTL-to-RTL equivalence checking flows with the Questa Sequential Logic Equivalence Checking (SLEC) app, which can reduce verification turnaround time by 10X. The app also offers expanded clock domain crossing (CDC) capabilities with the Questa CDC-GL app for gate-level CDC analysis to help avoid costly re-spins and ensure critical synchronization logic has not been disrupted.

New GUI Workflow Cuts Debug Cycle by 5x

Interactive debug capabilities are invaluable for shortening every step of the debug cycle—from failure detection to identification of the root cause of failures to development and validation of a fix. Using Mentor’s high performance Visualizer™ Debug Environment (itself built on the popular “Qt” platform), the Questa PropCheck app for formal verification enables users to more rapidly find root cause issues with their device under test (DUT) that the formal algorithms identify.

Additionally, with the industry-first web browser and mobile views, users can check on the progress of running jobs and analyze results when away from their workstations, enabling them to keep their projects on track 24/7. Using their employer’s VPN to provide a secure data link, users can access formal or CDC results and decide whether to re-run an analysis with new parameters, alert colleagues in different time zones to necessary corrective actions, or login to their employer-provided laptops to take more extensive corrective actions themselves.

10x Reduction to Popular Verification Flow with Exhaustive Sequential Logic Equivalency Checking

Even the most carefully designed testbench is inherently incomplete, since constrained-random methods cannot hit every corner case. Even after 100% functional coverage is achieved, there can still be showstopper bugs hiding in unimagined state spaces. Furthermore, many high-value verification tasks can take weeks of testbench development and simulation. In contrast, a host of verification use cases can be addressed by sequential logical equivalence checking in hours—even minutes—with exhaustive results.

Leveraging Questa PropCheck technology, the new Questa SLEC app provides an exhaustive comparison between the behaviors of two RTL blocks so users can be assured all possible corner cases have been checked. In particular, this app is optimized to address three popular RTL-to-RTL sequential equivalence checking flows: verification of manual low-power clock gating, bug fix and engineering change order (ECO) validation, and ISO 26262 safety mechanism verification.

“Our products can’t compromise on safety, so our verification must be to 100% complete,” says Thorsten Ehrenberg, Manager Safety Microcontroller Development of Continental’s division Chassis & Safety. “As such, formal-based verification solutions are essential given the exhaustive nature of the analysis. For some, IP Blocks formal verification is the only option to perform a complete verification. With the Questa SLEC formal app, it is possible to quantify the fault coverage of certain IP Blocks e.g. safety critical IP Blocks.”

This new product complements the Calypto SLEC Pro and SLEC System offerings, which are focused on the verification of PowerPro™’s automatic power reductions and C-to-RTL equivalence checking respectively. In contrast, Mentor’s FormalPro™ solution will continue to focus on cases where the DUTs being compared have the exact same number of states (post-synthesis RTL-to-gate, and gate-to-gate logic equivalency checking).

New CDC Gate-level Analysis Prevents Chip-Killing Metastability

CDC bugs from clock signal metastability are impossible to detect with simulation. Without CDC analysis, CDC bugs will only be discovered in the lab, when it is too late to take corrective action other than to re-spin the whole chip. Even worse, at the gate-level of logic in advanced node devices (28 nm or lower), RTL CDC tools cannot easily detect glitches introduced by synthesis or other back-end tools on CDC paths that were safe at RTL.

The new Questa CDC-GL app is optimized for gate-level analysis. The app leverages the RTL CDC data and the waivers generated at the RTL level by the Questa CDC solution to produce focused “low noise” results that enable rapid identification of chip-killing gate-level CDC errors. The Questa CDC-GL app is ideally suited for designs at the 28nm node and below where a gate-level analysis approach is required to prevent nasty surprises when the initial samples come back from the fab.

Availability

All of these products are available immediately, with pricing dependent on product configuration.

Leave a Reply

featured blogs
Mar 29, 2024
By Mark Williams, Sr Software Engineering Group Director Translator: Masaru Yasukawa 差動アンプはã1つの入力信号ではなく2つの入力信号間の差にゲインをé...
Mar 26, 2024
Learn how GPU acceleration impacts digital chip design implementation, expanding beyond chip simulation to fulfill compute demands of the RTL-to-GDSII process.The post Can GPUs Accelerate Digital Design Implementation? appeared first on Chip Design....
Mar 21, 2024
The awesome thing about these machines is that you are limited only by your imagination, and I've got a GREAT imagination....

featured video

We are Altera. We are for the innovators.

Sponsored by Intel

Today we embark on an exciting journey as we transition to Altera, an Intel Company. In a world of endless opportunities and challenges, we are here to provide the flexibility needed by our ecosystem of customers and partners to pioneer and accelerate innovation. As we leap into the future, we are committed to providing easy-to-design and deploy leadership programmable solutions to innovators to unlock extraordinary possibilities for everyone on the planet.

To learn more about Altera visit: http://intel.com/altera

featured chalk talk

E-Mobility - Charging Stations & Wallboxes AC or DC Charging?
In this episode of Chalk Talk, Amelia Dalton and Andreas Nadler from Würth Elektronik investigate e-mobility charging stations and wallboxes. We take a closer look at the benefits, components, and functions of AC and DC wallboxes and charging stations. They also examine the role that DC link capacitors play in power conversion and how Würth Elektronik can help you create your next AC and DC wallbox or charging station design.
Jul 12, 2023
30,029 views