ملخص: Cette thèse se situe dans le cadre de la synthèse logique des circuits intègres vlsi. Elle propose d'une part une méthode de projection structurelle sur cellules complexes qui transforme une description comportementale en une interconnexion de cellules générées selon les besoins par un compilateur de cellules. Elle présente d'autre part une méthode d'optimisation des performances temporelles des réseaux de cellules. Les techniques classiques de projection structurelle utilisent une bibliothèque de cellules pré caractérisées. De maniéré a s'affranchir du développement de telles bibliothèques et afin de pouvoir utiliser un nombre important de cellules, la technique proposée consiste a découper le réseau booléen en un ensemble optimal de cellules faisables par le compilateur tout en respectant une contrainte d'empilement des transistors et un mode d'optimisation imposes par l'utilisateur. La technique d'optimisation des réseaux de cellules s'appuie sur une analyse temporelle précise et a l’originalité d'allier des méthodes d'insertion de portes de puissance et d'insertion d'amplificateurs en deux phases distinctes ce qui permet de minimiser la surface active ajoutée et d'obtenir de très bonnes performances temporelles. Des prototypes logiciels ont été développes pour valider les approches présentées et les résultats expérimentaux obtenus montrent que ces approches sont compétitives par rapport aux méthodes classiques.

Paris:
لغة: فرنسية
الوصف المادي: 151 p. ill. ;30 cm.
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
تخصص: Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Sciences appliquées :Electroniques

ملاحظة: Bibliogr. pp.142-145; Annexe pp.148-151