Algorithmes de synthese de circuits programmables bases sur des graphes de decision binaire

Synthesis algorithms for programmable circuits based on binary decision diagrams

• Auteur / Autrice : EUDES PRADO LOPES FILHO
• Direction : Alain Greiner
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1996
• Etablissement(s) : Paris 6

Résumé

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.