Dominique Borrione
Mots clés
FR |
EN
PSL
Sciences et techniques
Informatique. Automatique theorique. Systemes
Verification formelle
Sciences appliquees
Electronique
Vérification
Circuit intégré
Vhdl
Électronique numérique
Calcul symbolique
Langage description
Computer aided design
Integrated circuit
Sciences appliquées
Circuit VLSI
Modélisation
Vérification formelle
Theoretical study
Verification