Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory B Ferres, O Oulkaid, L Henrio, M Khosravian, M Moy, G Radanne, ... Design, Automation and Test in Europe Conference, 2023 | 1 | 2023 |
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving O Oulkaid, B Ferres, M Moy, P Raymond, M Khosravian, L Henrio, ... Design, Automation and Test in Europe Conference, 2024 | | 2024 |