Tag Archives: Debug

Solutions to Resolve Traditional PHY Verification Challenges

PHYs are present in multiple domains – be it memory (DDR2/DDR3/DDR4/LPDDR3), Ethernet, SATA, USB or PCIe. This article from Mentor Graphics describes various techniques and solutions to resolve PHY verification challenges. The solution incorporates a host of benefits, including faster, more flexible verification and easier debugging.

Read More


Learn more about T&VS MIPI D-PHY VIP

Minimizing Constraints to Debug Vacuous Proofs

Most of the design bugs missed during the practice of model checking on industrial designs can be reduced to the problem of a failing cover. When the formal testbench has many constraints, debugging the root cause of such a failing cover can be a laborious process. This article from Mentor Graphics describes a method to minimize the number of model checking runs to identify a minimal failing subset (MFS) of constraints. This solution has increased the productivity by reducing the iterations required to debug vacuous proofs.

Read More

Time to “Shift left” in chip Design and Verification

Synopsys founder says TVS has been arguing shift-left for many years. It is already popular in software and can be summarized as “moving the testing effort as early in the development process as possible”.

TVS also argues for such an approach in hardware development too and believes this can be achieved by the “Requirements Driven Test and Verification” approach promoted by TVS.

Read more.

Why Gate-Level Simulation is increasing

This article from Cadence explains the results of a survey involving verification engineers from 7 major Cadence customers located in North America, Japan, India and Europe.  The survey highlighted that process nodes mostly ranged from 28nm to 45nm and cited the top reasons for running gate-level simulation. A separate question about DFT simulation revealed that about half of respondents use this technique to verify scan chains.

Read more.

We need to solve the debug challenge

I have mentioned in numerous articles and blogs that I think debug is currently our biggest challenge but the one that sees the least innovation in tooling. Assertion-based verification has been the biggest advance in debugging but we can hardly claim it was an innovation in tolling – more a side product of a really useful verification technique.

So I was heartened to see a panel on “Discuss Verification Debug Challenges and Strategies” at DVCon chaired by Brian Bailey.

John Goodenough, VP of Engineering Systems at ARM, summarized well the 2 major issues: first, we need to reduce the latency of the time-to-triage and root-cause analysis and subsequent fixing; secondly we don’t want to make the same mistake again.

Read the whole article here.