Ce module fondamental présente différentes approches pour la vérification des systèmes matériels.
Expérience du responsable dans le domaine de l’UE
Enseignant-chercheur depuis 10 ans dans le domaine de la vérification fonctionnelle des systèmes intégrés sur puce. Mes recherches se focalisent sur les techniques de vérification par model-checking, qui sont le prolongement des notions de base enseignées dans le cours TSPF.
Réalisations du responsable dans le domaine de l’UE
développement d'une méthode de conception incrémentale facilitant la vérification des systèmes
article : "CTL-property transformations along an incremental design process", accepté à la revue internationale STTT, 2005
utilisation de structure de données de type DAG capturant la hiérarchie pour la vérification de systèmes décrits en Promela
article : "utilisation des diagrammes de decision de données pour la vérification fonctionnelle de systèmes matériels", actes de MAJESTIC 2004
