Thèse soutenue

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

FR  |  
EN
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é

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.