Oussama Oulkaid

According to our database, Oussama Oulkaid authored at least 5 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs.

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian Ghadikolaei

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2026

2025

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits.

Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian

ACM Trans. Design Autom. Electr. Syst., September, 2025

Modèles Formels des Circuits Intégrés pour la Vérification Électrique au Niveau Transistor. (Modèles Formels des Circuits Intégrés pour la Vérification Électrique au Niveau Transistor).

Oussama Oulkaid

PhD thesis, 2025

2024

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

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.

Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023