Recherche Avancée

Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Omar Khalil
Direction : Gabrièle Saucier, Michel Crastes de Paulet
Type : Thèse de doctorat
Discipline(s) : Microélectronique
Date : Soutenance en 1995
Etablissement(s) : Grenoble INPG

Résumé

FR

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