Compilation du langage esterel en systemes d'equations booleennes

par FREDERIC MIGNARD

Thèse de doctorat en Sciences appliquées

Sous la direction de G. BERRY.

Soutenue en 1994

à l'EMP .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 238 P.
  • Annexes : 46 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.