Accéder directement au contenu

Matthieu Moy

Maître de conférences à l'UCBL/LIP
2
Documents
Identifiants chercheurs

Présentation

<https://matthieu-moy.fr/>

Publications

852734
Image document

SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation

Florence Maraninchi , Matthieu Moy , Jérôme Cornet , Laurent Maillet-Contoz , Claude Helmstetter
2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada
Communication dans un congrès hal-00311011v1
Image document

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

Claude Helmstetter , Florence Maraninchi , Laurent Maillet-Contoz , Matthieu Moy
Formal Methods in Computer Aided Design (FMCAD'06), Nov 2006, San Jose, United States. pp.171-178, ⟨10.1109/FMCAD.2006.10⟩
Communication dans un congrès hal-00311006v1