ERC: An exhaustive classification of false errors

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...
ANIAH and PROPHESEE Announce Collaboration

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

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 announces that it has joined AENAS

Aniah announces that it has joined AENAS

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