Amélioration du processus de vérification des architectures générées à l'aide d'outils de synthèse de haut-niveau / Aurélien Ribon ; sous la direction de Dominique Dallet et de Bertrand Le Gal

Date :

Editeur / Publisher : , 2012

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Circuits intégrés -- Fiabilité -- Thèses et écrits académiques

Circuits intégrés -- Simulation par ordinateur -- Thèses et écrits académiques

Débogage -- Thèses et écrits académiques

Synthèse de haut niveau (informatique) -- Thèses et écrits académiques

Dallet, Dominique (1964-....) (Directeur de thèse / thesis advisor)

Le Gal, Bertrand (1979-....) (Directeur de thèse / thesis advisor)

Anghel, Lorena (Rapporteur de la thèse / thesis reporter)

Lagadec, Loïc (Rapporteur de la thèse / thesis reporter)

Bossuet, Lilian (1975-....) (Membre du jury / opponent)

Casseau, Emmanuel (1968-....) (Membre du jury / opponent)

Jego, Christophe (1973-....) (Membre du jury / opponent)

Université Bordeaux-I (1971-2013) (Organisme de soutenance / degree-grantor)

École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire de l'intégration du matériau au système (Talence, Gironde) (Laboratoire associé à la thèse / thesis associated laboratory)