Utilisation des bibliothèques de macro-blocs dans la synthèse de haut niveau et dans la migration technologique

par Omar Khalil

Thèse de doctorat en Microélectronique

Sous la direction de Gabrièle Saucier et de Michel Crastes de Paulet.

Soutenue en 1995

à Grenoble INPG .


  • Résumé

    Cette thèse étudie l'ensemble des problèmes d'utilisation des éléments de bibliothèques dans la synthèse de haut niveau et dans la migration technologique. L'objectif est de faire un état de l'art sur l'ensemble des questions liées aux macro-blocs (modélisation, utilisation,…), et d'apporter des réponses à la majorité des problèmes identifiés. La première partie étudie l'intérêt de l'utilisation des macro-blocs sur un ensemble d'exemples représentatifs et sur plusieurs technologies significatives (Xilinx, Actel et Cellules Standard). La deuxième partie s'intéresse au problème de la modélisation de ces macro-blocs. Afin de pouvoir modéliser et utiliser les macro-blocs de n'importe quel fondeur, il est nécessaire d'analyser l'ensemble des macro-blocs existants afin d'en extraire une modélisation complète. Après l'analyse de formats existants actuellement en cours de standardisation par des groupes de travail internationaux (LPM, VITAL,…) et de bibliothèques de macro-blocs proposées par certains fondeurs (Xilinx, Actel,…), un nouveau format de représentation de bibliothèque a été proposé et implémenté. La dernière partie traite des macro-blocs dans le cadre de la migration technologique. Certains problèmes sont liés aux technologies de base car chaque technologie contient des éléments spécifiques. Après avoir intégré le nouveau format dans le système ASYL, un algorithme destiné à la migration technologique a été proposé et implémenté. Cet algorithme a été testé avec succès sur un ensemble de circuits de test

  • Titre traduit

    Use of macro-block libraries in high level synthesis and in technology migration


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (180 p.)
  • Annexes : 74 REF.. Bibliogr. p. 136-140. Annexes

Où se trouve cette thèse ?

  • Bibliothèque : Université des Antilles et de la Guyane (Pointe-à-Pitre, Guadeloupe). Service commun de la documentation. Section Droit-Sciences.
  • Disponible pour le PEB
  • Cote : Y 0406
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1995-KHA
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : T 396
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.