Accéder directement au contenu

Matthieu Moy

Maître de conférences à l'UCBL/LIP
2
Documents
Identifiants chercheurs

Présentation

<https://matthieu-moy.fr/>

Publications

"oussama-oulkaid"
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