[Funded PhD] Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

PhD Director : Matthieu Moy

PhD Advisors : Bruno Ferres and Mehdi Khosravian

Context

This CIFRE [1] PhD proposal is part of a joint work between Verimag, LIP (ENS Lyon), and Aniah (Grenoble). It will be the continuation of a fruitful collaboration (during a first CIFRE PhD, giving promising results), and is based on several domains of Computer Science, from theoretical tools (SMT, model-checking, ...) to practical engineering concerns.

Please take a look at the attached proposal for more details, and do not hesitate to contact the advisors.

[1PhD thesis included in a industrial collaboration


Documents joints

CIFRE Proposal - Diagnosis

6 juin 2024
info document : PDF
163.4 kio

Contact | Plan du site | Site réalisé avec SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4001010