Aniah Software V2.1

Oct 14, 2022

This summer, our development team worked on the latest version of Aniah V2.1 !

It includes 4 brand-new features, for an easier use :
– Synoptic schematic
– Advanced-Power-Analysis
– Verilog netlist support
– Topology detection for a better precision

This new version is out since 08/31/22 !

Want to know more ? Don’t hesitate to contact us for demonstration

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