Abstract FR:

La compilation d'un programme ESTEREL produit un circuit équivalent sous la forme d'un jeu de registres et d'un système d’équations booléennes, pilotant un ensemble d'actions sur les données. L'hypothèse de synchronisme qui est à la base de la sémantique du langage ESTEREL permet d’écrire des programmes qui contiennent des cycles de dépendance statique entre les signaux. Les circuits correspondants ont des cycles dans la partie combinatoire. L'analyse constructive des circuits cycliques permet d'identifier les circuits corrects, pour lesquels on peut déterminer de manière constructive les valeurs de toutes les variables pour tous les états atteignables. Dans la première partie de la thèse nous décrivons les techniques d'analyse et les algorithmes efficaces que nous avons mis en œuvre dans un processeur logiciel. Les circuits produits par le compilateur ESTEREL actuel ne sont pas optimaux, en nombre de registres et de niveaux de logique. Dans la deuxième partie de la thèse nous présentons des techniques efficaces pour améliorer le codage des états atteignables. Nous proposons une méthode nouvelle et très rapide pour le calcul d'une approximation de cet espace d’états permettant une réduction importante de registres. Nous utilisons ensuite des méthodes efficaces pour calculer l'ensemble exact d’états atteignables, pour continuer le processus d'optimisation dans la recherche d'un compromis entre les divers paramètres importants pour les cibles matérielles choisies. Les résultats expérimentaux obtenus avec les processeurs développés montrent des importantes améliorations par rapport aux techniques existantes. Les gains sont utilisables pour la production de logiciel comme pour la production des circuits matériels.