editor's blog
Subscribe Now

Sorting Through the Rubble

Roughly a year ago we talked about Vennsa’s OnPoint tool for identifying what went wrong during verification when something goes wrong. I got an update at DAC recently, where they talked about two concepts they’ve brought to their technology in order to make it easier to decide what to fix when there’s a problem.

The first is that of triage, which automatically tries to combine different failures if they appear to have the same root cause. Prior to this, you would manually ask the tool for possible root causes for each failure; now this evaluation and “binning” (more or less) occurs automatically.

The thing is, any given failure may have more than one candidate root cause, and there may be several failures, some of whose candidate root causes overlap. Understanding this picture and the conclusions the tool draws from it falls into the second new concept, which they call causality analysis. This involves a more precise understanding of all root cause candidates and the trajectories of the possible fixes – that is, the knock-on implications of each fix.

In particular, where a given fix candidate is a candidate for several failures, that fix will get a higher ranking than if it only solves a single failure.

In evaluating which fixes to suggest and how to rank them, it also takes into account the complete set of facts regarding which checkers may have blessed or frowned on various parts of the simulation; any available information regarding the desired state of the system at the failed point; whether a given fix would break something else; and whether it would be better to apply a fix further upstream or downstream in the logic.

One key goal of the improvements is to make it easier to figure out who owns a fix. If a set of failures gets grouped during triage, it’s more evident that there’s an owner for the entire group.

More info in their release

Leave a Reply

featured blogs
Jun 12, 2025
We truly do live in a world that would have been considered to be a far-flung science fiction future only a few short decades ago...

featured paper

Shift Left with Calibre Pattern Matching: Trust in design practices but verify early and frequently

Sponsored by Siemens Digital Industries Software

As integrated circuit (IC) designs become increasingly complex, early-stage verification is crucial to ensure productivity and quality in design processes. The "shift left" verification approach, enabled by Siemens’ Calibre nmPlatform, helps IC design teams to identify and resolve critical issues much earlier in the design cycle.

Click to read more

featured chalk talk

Developing a Secured Matter Device with the OPTIGA™ Trust M MTR Shield
Sponsored by Mouser Electronics and Infineon
In this episode of Chalk Talk, Amelia Dalton and Johannes Koblbauer from Infineon explore how you can add Matter and security to your next smart home project with the OPTIGA™ Trust M MTR shield. They also investigate the steps involved in the OPTIGA™ Trust M Matter design process, the details of the OPTIGA™ Trust M Matter evaluation board and how you can get started on your next Matter IoT device.
Jul 2, 2024
32,170 views