LESTER Anthony

Docteur - ASIM
Date de départ : 01/01/2000
https://lip6.fr/Antony.Lester

Direction de recherche : Pirouz BAZARGAN SABET

Abstraction Fonctionnelle des Circuits Numériques VLSI avec une méthode formelle basée sur une extraction de réseau de portes

Soutenance : 21/12/1999 - Université Pierre et Marie Curie (UPMC)

Membres du jury :

Alain Guyot - rapporteur
Christian Piguet - rapporteur
Alain Greiner
Michel Minoux
Pirouz Bazargan-Sabet
Sanjay Rajopadhye

Publications 1997-2002