Calcul des etats atteignables de programmes Esterel partitionne ...

16 CHAPITRE 2. CONTEXTE DE L’ETUDEI(a)O = reg(I)OI 1I 2OO(b) O = I 1 ∧ I 2Fig. 2.4 – Portes logiquesI 1I 2(c) O = I 1 ∨ I 2I O(d)O = ¬ Id’une porte “et” peut être déterminée dès que l’une de ses branches porte la valeur 0 ou biendès que toutes ses branches portent la valeur 1. Cette opération est réalisée instantanément parla partie combinatoire du circuit. De la même manière, la prochaine valeur des registres estcalculée en fonction des valeurs courantes et des entrées.Génération des circuits à partir des programmes Esterel. La sémantique constructived’Esterel permet de traduire récursivement chaque instruction du langage en un circuitséquentiel. Cette traduction produit un registre booléen pour chaque instruction pause du langagesource. En d’autres termes, le codage de l’état d’un bloc de programme repose sur unensemble précis de registres. Le reste de la traduction consiste à câbler les équations combinatoiresautour de ces registres.Circuits cycliques. La traduction des programmes en circuits génère parfois des cycles dansles équations combinatoires. Cela signifie que, au cours d’un même instant, la valeur d’un fil xdépend de la valeur d’un second fil y et que la valeur de y dépend de x. Comme dans la section2.1.1 traitant des aspects sémantiques du langage, il se peut que le programme soit logiquementincorrect ou bien que le cycle ne pose pas de problème dans la résolution constructive de l’étatdu circuit. Il existe une théorie de la causalité constructive qui identifie des circuits cycliquescorrects. Pour ces derniers, il existe des algorithmes, parfois coûteux en expansion, permettantde les transformer en circuits acycliques et sémantiquement équivalents [73]. Pour notre étude,nous pourrons simplement faire l’hypothèse que les circuits que nous manipulons sont acycliques.2.1.4 Compilation des programmes Esterel en circuitCette section présente les principes de base de la traduction des programmes Esterel encircuit. La traduction présentée ici est purement structurelle. En réalité, les phénomènes deréincarnation présentés à la section 2.1.1.1 nécessitent la duplication de certaines parties ducircuit. Pour plus de détails, on pourra se référer à [11]. Chaque instruction du langage produitun circuit dont l’interface est représentée dans la figure 2.5.EGORESSUSPKILLE’SELK0K1K2...Fig. 2.5 – Interface circuit des instructions d’Esterel.