Events.
![Webinar – How to Reduce Thousands of False Errors in 15 Minutes](https://aniah.fr/wp-content/uploads/2024/06/Webinar-semi-wiki.png)
Webinar – How to Reduce Thousands of False Errors in 15 Minutes
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...
![“A Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving” – DATE 2024](https://aniah.fr/wp-content/uploads/2024/02/Cover-site-web-DATE24.png)
“A Transistor Level Relational Semantics For Electrical Rule Checking By SMT Solving” – DATE 2024
Mar 13, 2024 | Events
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 at CadenceLIVE Taiwan](https://aniah.fr/wp-content/uploads/2023/07/Cadence-Live-Taiwan-940x675.png)
Aniah at CadenceLIVE Taiwan
Jul 31, 2023 | Events
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 !