Aniah is proud to announce its recent success in obtaining both ISO9001 and ISO27001 certifications. These two achievements mark a significant step forward in the company’s quality and cybersecurity development plans.
Read all about it in our press release !
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 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 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...
