Aniah Software V2.0 Deployment

Apr 8, 2022

The V2.0 has been released ! This release provides the full potential of electrical rules checking (ERC) while offering unprecedented ease of use.
Its main assets are :

– Comprehensive set of ERC rules natively supported.

– Unparalleled performances and scalability.

– 100% coverage of powers scenarios.

– Fully integred, collaborative GUI.

– Dynamic error reporting.

Tested by our customers, our tool has demonstrated its ability to significantly increase design efficency.

Want to know more ? Contact us for a pratical demonstration

Download

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

Jun 13, 2024

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

May 24, 2024

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

Apr 11, 2024

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...