Accéder directement au contenu

Gabriel Radanne

4
Documents

Publications

"ludovic-henrio"
Image document

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian
Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain
Communication dans un congrès hal-04527225v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , Mehdi Khosravian , Matthieu Moy
DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès hal-04007446v1