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

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

“A Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving” – DATE 2024

Mar 13, 2024

A short presentation of the paper "A Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving", accepted at: Design, Automation and Test in Europe conference (DATE 2024). The paper introduces a formal approach to model circuits' steady-states...

ANIAH and PROPHESEE Announce Collaboration

Feb 8, 2024

ANIAH and PROPHESEE Announce Collaboration to strengthen their technological synergies. PARIS, February 8, 2024 PROPHESEE, the creator of the world’s most advanced and efficient neuromorphic vision systems, in his constant search for operational excellence, has...