Optimisation du controle et implantation en circuits de programmes esterel

par FR.-XAVIER FORNARI

Thèse de doctorat en Sciences appliquées

Sous la direction de G. BERRY.

Soutenue en 1995

à l'EMP .

    mots clés mots clés


  • Résumé

    Cette these decrit l'application de techniques d'optimisation de circuits digitaux a l'optimisation du controle de programmes ecrits avec le langage synchrone esterel. Elle presente de plus une implantation de ces programmes en circuits. Le compilateur esterel v4 exprime le controle d'un programme esterel sous forme d'un jeu de registres et d'un systeme d'equations booleennes triees pilotant un ensemble d'actions. Sous certaines conditions, ce controle est considere comme un circuit digital. Il est alors ameliore en utilisant des methodes sophistiquees d'optimisations sequentielles presentes dans le systeme sis-1. 2. Les ameliorations apportees concernent la taille et la vitesse d'execution du controle. Elles sont modulees en fonction de la cible technologique, qui peut etre, soit du materiel, soit du logiciel. Dans le cadre de la traduction en circuits de programmes esterel pur (restriction du langage aux seuls signaux de controle), la generation de circuits se fait directement. Dans le cas general, cette generation se fait en utilisant le systeme de synthese de haut niveau olympus


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 146 P.
  • Annexes : 43 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.