Synthèse et optimisation temporelle de réseaux booléens

Synthesis and timing optimization of boolean networks

• Auteur / Autrice : Khalid Sakouti
• Direction : André Crastes de Paulet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Grenoble INPG

Mots clés

Mots clés libres

Sciences appliquees

Informatique

Automatique theorique

Systemes

Logique booleenne

Synthese

Optimisation

Factorisation

Boolean logic

Synthesis

Optimization

Factorization

Résumé

Cette these propose des solutions originales pour trois etapes de la synthese logique de fonctions booleennes, en vue d'une realisation de circuits integres dedies sur silicium. La premiere etape est la factorisation algebrique dont le but est generalement de reduire la complexite des fonctions booleennes. La deuxieme etape est la decomposition des fonctions booleennes en cellules de base d'une bibliotheque. La derniere etape consiste a optimiser le reseau resultant de la deuxieme etape, en general en vue de minimiser le chemin critique du circuit. Cette these s'interesse a la coherence de l'optimisation du chemin critique au cours des differentes etapes de la synthese. Par une preparation adequate du reseau initial de cellules des les deux premieres etapes, elle assure une meilleure optimisation temporelle finale. Les resultats experimentaux montrent que cette these a apporte une reelle optimisation globale et pratique