Construction de modèles réduits et vérification symbolique de circuits industriels décrits au niveau RTL
FR |
EN
Auteur / Autrice : | Emil Dumitrescu |
Direction : | Dominique Borrione |
Type : | Thèse de doctorat |
Discipline(s) : | Microélectronique |
Date : | Soutenance en 2003 |
Etablissement(s) : | Grenoble 1 |