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

par EUDES PRADO LOPES FILHO

Thèse de doctorat en Sciences appliquées

Sous la direction de Alain Greiner.

Soutenue en 1996

à Paris 6 .

    mots clés mots clés


  • 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.

  • Titre traduit

    Synthesis algorithms for programmable circuits based on binary decision diagrams


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 97 P.
  • Annexes : 36 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1996 75
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1996

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1996-PRA
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.