Compilation du langage esterel en systemes d'equations booleennes

by FREDERIC MIGNARD

Doctoral thesis in Sciences appliquées

Under the supervision of G. BERRY.

defended on 1994

in Paris, ENMP .

  • Alternative Title

    Compilation of the esterel language into boolean equation systems


  • Abstract not available

    keywords keywords


  • Abstract

    Le travail que nous presentons dans cette these formalise la traduction du langage reactif synchrone esterel en systemes d'equations booleennes (un modele abstrait des circuits digitaux) et compare plusieurs algorithmes de traduction. De plus, nous faisons le lien entre cette traduction et la compilation classique d'esterel en automates et nous presentons en detail le compilateur esterel v4, qui implemente un de ces algorithmes. Pour obtenir une traduction exacte et efficace d'esterel pur (c'est-a-dire sans manipulation de donnees) en systemes d'equations booleennes, nous construisons une suite de semantiques en prouvant formellement et en detail l'equivalence entre les semantiques successives. En partant de la semantique comportementale classique du langage esterel pur, nous derivons une nouvelle semantique, dite par ensembles de points d'arret, qui procede par reecritures d'ensembles de points de controle dans le texte du programme. Cette semantique, d'interet technique, nous permet ensuite de construire une premiere traduction d'esterel pur en systemes d'equations. Cette traduction est relativement inefficace, mais elle est complete et correcte. Nous proposons ensuite plusieurs ameliorations de la premiere traduction, et nous obtenons une seconde traduction. Nous decrivons egalement l'algorithme de gerard berry utilise dans le compilateur esterel v4 et nous le comparons a nos traductions. Enfin, nous decrivons les mises en uvre des traductions en equations: le compilateur esterel v4, base sur une extension a esterel-complet de l'algorithme de gerard berry, puis un prototype de compilateur implementant nos traductions. Nous presentons egalement un nouveau processeur du compilateur esterel v4, sscoc, qui expanse, partiellement ou totalement, les systemes d'equations en automates. Ce processeur permet d'envisager de nouveaux compromis dans la compilation d'esterel, entre la taille du code genere et le temps d'execution

Consult library

Version is available as a paper

Informations

  • Details : 238 P.
  • Annexes : 46 REF.

Where is this thesis?

  • Library :
  • Available for PEB
See the Sudoc catalog libraries of higher education and research.