[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


Attached documents

CIFRE Proposal - Diagnosis

6 June 2024
info document : PDF
163.4 KiB

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093846