Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
76 CHAPITRE 6. MISE EN ŒUVRESources<strong>Esterel</strong>.strl.strl.strlstrlic strlic strlicCo<strong>de</strong>intermédiaire.ic .ic .iciclcCo<strong>de</strong> lié.lclcsc.scCircuitTrieur <strong>de</strong> circuitsacycliquesCircuit triéscssc.sscsccausalDécycliseur<strong>de</strong> circuitsssccsscocsscblifblifssc.c.ocblifopt.blifCircuitBLIFProgramme CAutomateexplicitexeveevclVérificationformelleFig. 6.1 – La chaîne <strong>de</strong> compilation d’<strong>Esterel</strong>.