Abstract FR:

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