This thesis (Habilitation\a diriger des recherches) presents some of my research
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …

In efforts to overcome the complexity of the syntax and the lack of formal semantics of
conventional hardware description languages, a number of functional hardware description …

Boolean reversible circuits are boolean circuits made of reversible elementary gates.
Despite their constrained form, they can simulate any boolean function. The synthesis and …

Le travail effectué dans le cadre de cette thèse vise la réduction du coût et du temps de
vérification d'un circuit numérique ainsi que l'augmentation de la couverture de test. Notre …

Vous devez choisir trois articles reliés aux sujets abordés dans le cours et me faire connaıtre
votre liste afin de les réserver. Ceci constitue la premiere étape de la préparation de …