Oussama Oulkaid
  PhD Student, InfoMaths


[About] [Publications] [Teaching] [Contact]
              ^
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
Design, Automation and Test in Europe Conference (DATE) 2024

Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
Design, Automation and Test in Europe Conference (DATE) 2023