Abstract FR:

Cette these decrit une methode d'optimisation globale pour la synthese des circuits programmables. Ces techniques reposent sur l'utilisation des multi-robdd (graphes de decision binaires a sorties multiples) comme structure de representation du circuit a synthetiser. Ces techniques permettent une optimisation visant une architecture cible a partir de la description vhdl du circuit. L'exploration de l'espace des solutions au cours du processus d'optimisation, consiste essentiellement a rechercher le meilleur ordonnancement possible des variables du point de vue de la decomposition du multi-robdd en un reseau de portes. On s'attache tout particulierement a definir de bonnes fonctions de cout adaptees a chacune des cibles technologiques : xilinx x3000, xilinx x4000 et actel act1. Les algorithmes utilises pour l'optimisation et pour la projection structurelle sont detailles ainsi que l'outil sur lequel l'experimentation de la methode a ete realisee. Un chapitre est consacre aux resultats obtenus par cette approche ou on peut trouver les comparaisons avec d'autres approches publiees dans la litterature.