Matthieu Moy
Maître de conférences à l'UCBL/LIP
2
Documents
Identifiants chercheurs
- matthieu-moy
- IdRef : 106984993
- 0000-0002-6054-8882
Présentation
<https://matthieu-moy.fr/>
Publications
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
|
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT SolvingDesign, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain
Communication dans un congrès
hal-04527225v1
|
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès
hal-04007446v1
|