UTILISATION DES BIBLIOTHEQUES DE MACRO-BLOCS DANS LA SYNTHESE DE HAUT NIVEAU ET DANS LA MIGRATION TECHNOLOGIQUE

Omar Q. KHALIL

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 indentifié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 de 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.