Aniah at CadenceLIVE Taiwan

Jul 31, 2023

Come meet us at CadenceLive Taiwan !

We’re pleased to meet you on August 31, 2023 at Zhubei, Hsinchu, Taiwan for the CadenceLive Taiwan. See you there ! 

Other stories

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

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

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

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