Table of contents
Xeve: an Esterel Verification Environment
Outline
What is Xeve ?
Xeve characteristics
The Esterel Language
Verification Methods
Verification Methods
Verification Methods
Around Xeve
Usage of Xeve
Loading a Blif File
Loading a Blif File
Signal Selection
Check Output Results
FSM Minimization
FSM Minimization
FSM Minimization
FSM Minimization
Synchronous Observers
Synchronous Observers
Synchronous Observers
Goodies
Conclusion and Future
|
Author: Amar Bouali (Amar.Bouali@sophia.inria.fr)
|