Aniah® announces the release of OneCheck V3.0

Aniah® announces the release of OneCheck V3.0

We’re please to announce that the new version of OneCheck is here !   The 3.0 version focuses on :   SmartClustering by root cause:   Smart algorithms categorize issues by priority, then cluster them by underlying root causes  Description of the error is made in...
Design Automation Conference 2024

Design Automation Conference 2024

After participating in DAC 2023, Aniah was delighted to take part for a second time in the Design Automation Conference (DAC) in San Francisco from 23 to 27 June 2024. This not-to-be-missed event enabled us to discover the latest technological advances, exchange ideas...
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...
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...