Stories.
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...
“A Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving” – DATE 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
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...
Aniah celebrates France 2030 recognition
Aniah celebrates France 2030 recognition and affirms its commitment to contributing to the independence and resilience of the European microelectronics industry. Grenoble, January 30, 2023, Aniah is delighted to share the double recognition from the French...
Aniah announce her membership of the AENEAS association
Aniah is proud to announce her membership of the AENEAS association (https://aeneas-office.org), allowing us to integrate into this unique ecosystem which bring in together more than 550 members: SMEs, Research Institutes and Universities, Large Industry from the...
Aniah awarded Startup of the Year by ElectroniqueS magazine
On November 28, 2023, the Alliance des Composants et Systèmes pour l'Industrie Electronique, #ACSIEL and ElectroniqueS magazine awarded Aniah for the trophy "Startup of the Year". The ceremony took place at the association's headquarters in Paris, in the...
Aniah validates both ISO9001 and ISO27001 certifications
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 !
Aniah at CadenceLIVE Taiwan
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 !
Conditional High Impedance Nets : Early detection in analog and digital topologies
Conditional high-impedance (HiZ) nets errors are among the most serious risks in an IC project because of their capacity to elude Silicon qualification phases and escape into mass-production. They may create a wide range of issues throughout the Validation,...
Aniah joins Cadence Connections Programs
Aniah is proud to announce joining Cadence’s Connections Program earlier this year in May 2022. Our verification tool can now easily connect to Cadence Virtuoso Schematic Editor ®. From now on, our customers will be able to use Aniah ERC tool to check for errors and...
