Oussama Oulkaid
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Oussama Oulkaid
Oussama Oulkaid, CIFRE doctorate at Lyon LIP, VERIMAG and Aniah: the corpus's only sustained formal verification below the logic level - transistor-level electrical rule checking, 2023-26, with the thesis.
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs
Oussama Oulkaid and others (2026) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
Bruno Ferres and others (2025) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery (ACM)
Formal Models of Integrated Circuits for Transistor Level Electrical Verification
Oussama Oulkaid (2025)
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
Oussama Oulkaid and others (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) · IEEE
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
Bruno Ferres and others (2023)