Calcul des etats atteignables de programmes Esterel partitionne ...

2.1. ESTEREL 172.1.4.1 Interface des circuitsSur le schéma 2.5, les broches de gauche représentent les entrées de l’interface et les brochesde droite sont les sorties. La signification de chaque broche est la suivante :– L’entrée GO est utilisée pour lancer l’exécution d’une instruction. Une instruction s’exécutedès que GO vaut 1.– L’entrée RES est utilisée pour reprendre l’exécution d’une instruction après son démarrage.L’instruction continue son exécution après une pause tant que ce fil est à 1. Cette brocheest plus particulièrement utilisée par les instructions abort et suspend.– L’entrée SUSP est utilisée pour suspendre l’exécution d’une instruction. Lorsque ce fil està 1, tous les registres de l’instruction conservent leur valeur à moins que le signal d’arrêtKILL ne soit reçu (voir ci-dessous).– L’entrée KILL permet de tuer l’exécution d’une instruction. Cette broche permet de mettrela valeur de tous les registres de l’instruction à 0. Ce signal passe à 1 lorsqu’une exceptionest lancée. Dans ce cas, le signal KILL est propagé par toutes les instructions vers lesinstructions pause.– La sortie SEL permet d’indiquer que l’instruction est toujours active après une pause etdoit être relancée au moyen du signal RES. Ce signal vaut 1 dès qu’une pause de l’instructionest active. Ce signal est donc la disjonction de tous les registres de l’instruction.– Les sorties K0, K1, etc. correspondent aux codes de complétion (terminaison, pause, levéed’exception, voir [11]). Si n représente le nombre d’instructions trap qui entourent l’instruction,alors ces broches sont au nombre de n + 2. Lorsqu’une instruction est démarréeou bien relancée, la sortie correspondant au code de complétion de l’instruction est miseà 1. Si l’instruction n’est pas exécutée, toutes ces sorties sont à 0.– Les broches E et E’ correspondent à l’interface des signaux de l’instruction. E et E’ nesont pas de simples broches. Ce sont en réalités des vecteurs de signaux contenant un filpar signal. Les broches E et E’ correspondent respectivement aux signaux d’entrée et desortie.2.1.4.2 Exécution des circuitsLe schéma d’exécution des circuits consiste tout d’abord à émettre le signal GO afin dedémarrer l’exécution. Ensuite, à chaque cycle d’horloge, le signal RES est émis. A chaque cycle,le contrôle se propage par toutes les portes combinatoires du circuit. Les fils correspondants auxcodes de complétion sont calculés et les registres correspondants aux instructions pause activessont recalculés à chaque instant en fonction de leur valeur à l’instant précédent. Les signauxsont reçus et émis par les broches E et E’.2.1.4.3 Traduction circuitLa traduction structurelle complète des instructions Esterel est donné dans [11]. Cettetraduction produit exactement un registre booléen par instruction pause. La figure 2.6 montre