editor's blog
Subscribe Now

Working Forward

You may recall that Vennsa’s OnPoint tool takes the results of verification and helps identify errors and possible causes. The tool’s early focus was on identifying suspect issues and letting you work from there.

Last year around DAC time, we noted that they took things a step further to suggest possible fixes (but you had to confirm whether they truly were fixes) and to do a better job of triage, clumping together things that might have a common cause.

But this is all reflected the backwards tracing that is typical of debug: find an issue and work back to possible causes. This is as opposed to forward debug, which, in its worst manifestation, consists of guessing at places to make changes and following the changes forward to see if they fix things. Couched in those terms, the forward approach sounds more like an act of desperation.

This year they have improved their “causality engine” to the point where you can start with proposed fixes and see the chain of logic from each proposed fix to the now-corrected problem point that demonstrates that the fix works. You can work forwards, except that now the specific locations of fixes and the values that fix them are provided by OnPoint rather than by a wish and a prayer.

It’s important to note that the “fixes” proposed aren’t circuit fixes; they’re just logic values (and times, in the case of state machines and such) that will remove the offending behavior. You still need to come up with a circuit change to implement the fix and then simulate it to ensure that you haven’t created a problem for yourself anywhere else.

One of the benefits of this is that the verification folks can now save the design folks lots of debug time. Before, a block might get handed back to a designers saying, “There’s a problem; here’s the test that failed.” Now that information can be accompanied by, “And here are a series of solutions from which you can choose.” Makes for much friendlier interactions.

You can find out more in their release.

 

Leave a Reply

featured blogs
Mar 20, 2023
Learn how to design security into high-bandwidth DDR memory interfaces and protect DRAM devices & data from memory-scraping attacks like Rowhammer & RAMbleed. The post Secure DDR DRAM Against Rowhammer, RAMBleed, and Cold-Boot Attacks appeared first on New Horizons...
Mar 20, 2023
Electronic design has evolved over the years to provide methods for optimizing power, space, and energy needs for the most demanding market applications in areas including hyperscale computing, consumer, 5G communications, automotive, mobile, aerospace, industrial, and health...
Mar 10, 2023
A proven guide to enable project managers to successfully take over ongoing projects and get the work done!...

featured video

First CXL 2.0 IP Interoperability Demo with Compliance Tests

Sponsored by Synopsys

In this video, Sr. R&D Engineer Rehan Iqbal, will guide you through Synopsys CXL IP passing compliance tests and demonstrating our seamless interoperability with Teladyne LeCroy Z516 Exerciser. This first-of-its-kind interoperability demo is a testament to Synopsys' commitment to delivering reliable IP solutions.

Learn more about Synopsys CXL here

featured chalk talk

Bluetooth LE Audio
Bluetooth LE Audio is a prominent component in audio innovation today. In this episode of Chalk Talk, Finn Boetius from Nordic Semiconductor and Amelia Dalton discuss the what, where, and how of Bluetooth LE audio. They take a closer look at Bluetooth LE audio profiles, the architecture of Bluetooth LE audio and how you can get started using Bluetooth LE audio in your next design.
Jan 3, 2023
11,294 views