Knowledge Tree

researcher / Dominique Borrione

Dominique Borrione

at_id:

orcid_id:

Disciplines:

Computer sciences

Electrical engineering

Edit Merge See Links

Directed Thesis:

Vérification formelle des systèmes numériques par démonstrations de théorèmes : application aux composants cryptographiques

Simulation symbolique des circuits décrits au niveau algorithmique

Validation de spécifications de circuits asynchrones : méthodes et outils

Construction de modèles réduits et vérification symbolique de circuits industriels décrits au niveau RTL

Vérification formelle d'équivalence des systèmes digitaux séquentiels par simulation symbolique

Vérification formelle des résultats de la synthèse de haut niveau

Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples

Vérification formelle de propriétés temporelles : étude et application au langage VHDL

Une approche structurelle et comportementale de modélisation pour la vérification de composants VLSI

Description et simulation mixte analogique-numérique : analyse de VHDL analogique, réalisation d'un simulateur mixte

Spécification comportementale temporelle dans un simulateur multi-niveaux