ERC: a trade-off between coverage and false positives?

Oct 12, 2020

Electrical Rule Checking (ERC) solutions face a double challenge: handle the billions of transistors of a chip and be accurate enough to detect all failure modes. Any solution that doesn’t have a good understanding of the function of each transistor and the electrical properties of each net will both miss electrical errors and falsely detect failures.

ERC has two key advantages: it detects the root cause of errors directly and unifies many design errors as few electrical failure modes only. Those advantages translate into an unparalleled effort vs. errors detected ratio.

That is, unless users must review thousands of false errors for each real one – which unfortunately is the rule more than the exception. In addition to compromising the quality of the checks, it makes ERC a tedious and complex task: false errors require an understanding of the inner workings of the analysis engine.

Aniah has been founded with one objective in mind: provide 100% coverage of electrical errors. That means that our analysis cannot generate false errors. This is a cornerstone of our product.

In this paper, we will review why the reduction of false errors is the key to both coverage and efficiency of electrical rule checking. We will further detail the causes of false errors and how they can be solved with an accurate electrical analysis engine.

Other stories

Webinar – How to Reduce Thousands of False Errors in 15 Minutes

Webinar – How to Reduce Thousands of False Errors in 15 Minutes

Analyzing electrical errors across an IP or a SoC at top level, can be a painful and long process, often requiring extensive setup time and hundred of hours to distinguish real issues from false positives.  To address this challenge, Aniah developed OneCheck, a formal...

Aniah Ignites Global Expansion with Strategic Partnerships

Aniah Ignites Global Expansion with Strategic Partnerships

We are thrilled to unveil groundbreaking partnerships that will catapult Aniah's international growth to unprecedented heights! These strategic alliances mark a pivotal moment in our journey, one that will accelerate our development and reinforce our commitment to...

ERC: An exhaustive classification of false errors

ERC: An exhaustive classification of false errors

All formal verification tools, including Electrical Rules Check (ERC), must reach a trade-off between “false negatives” (i.e., real design errors that are not detected) and “false positives” (or false errors, locations where errors are erroneously reported. This...