Utilisation des bibliothèques de macro-blocs dans la synthèse de haut niveau et dans la migration technologique / Omar Khalil ; sous la direction de Gabrièle Saucier et Michel Crastes de Paulet

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Saucier, Gabrièle (1941-.... ; informaticienne) (Directeur de thèse / thesis advisor)

Crastes de Paulet, Michel (19..-.... ; microélectronicien) (Directeur de thèse / thesis advisor)

Institut national polytechnique (Grenoble ; 1900-....) (Organisme de soutenance / degree-grantor)

Relation : Utilisation des bibliothèques de macro-blocs dans la synthèse de haut niveau et dans la migration technologique / Omar Khalil ; sous la direction de Gabrièle Saucieret Michel Crastes de Paulet / Grenoble : Atelier national de reproduction des thèses , 1995

Résumé / Abstract : 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