26 mars 2002 ... Mais pour un circuit complexe (et en particulier séquentiel), le nombre de .....
intellectuelle, les modèles sont le plus souvent livrés sous forme .... automate (
FSM pour Finite State Machine) et de tester la couverture en fonction ... 
