Résumé: 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:
Langue: Français
Collation: 151 p. ill. ;30 cm.
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université Pierre et Marie Curie. Institut Blaise Pascal
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Sciences appliquées :Electroniques

Note: Bibliogr. pp.142-145; Annexe pp.148-151