Abstract FR:

Cette these propose une methode permettant d'optimiser le codage d'etats des automates d'etats fini en vue de la synthese. Les deux points importants de cette methode sont: 1. Un parcours aleatoire sous contrainte de l'espace des codages: cette etape a pour objectif de selectionner un certain nombre de codages supposes meilleurs. L'approche consiste a progresser dans l'espace de maniere aleatoire, et pour chaque solution atteinte, ameliorer celle-ci, en effectuant des transpositions de codes, en tenant compte de la topologie du graphe d'etats representant l'automate a coder. Cette recherche est mise en uvre pour etre rapide en temps de calcul afin de laisser suffisamment de temps pour la procedure d'evaluation du cout. 2. Une procedure d'evaluation du cout: cette procedure donne le cout de la realisation de l'automate pour une implantation en logique multi-niveaux a base d'une bibliotheque de cellules precaracterisees. Pour repondre aux deux criteres importants d'une fonction de cout, la fidelite et la rapidite, elle se base sur une forme graphique de representation d'un reseau booleen appele graphes d'expressions factorisees. Cette approche permet d'eviter l'etape de re-ordonnancement des variables d'entree, qui est l'etape la plus couteuse en temps de calcul dans les methodes de synthese graphique. Pour la synthese d'automates complexes, cette these propose une description hierarchique pouvant etre implante par un automate a pile. Pour cela, un sous ensemble vhdl est defini qui permet de decrire ce type d'automates. Les automates a pile sont abordes selon les aspects suivants: facilite de description offerte aux concepteurs, comparaison d'une realisation avec une pile et une realisation sans pile d'un meme automate (lorsque ceci est possible), et l'impact de la pile sur le codage d'etats