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

par Khalid Sakouti

Thèse de doctorat en Informatique

Sous la direction de André Crastes de Paulet.

Soutenue en 1993

à Grenoble INPG .

    mots clés mots clés


  • 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

  • Titre traduit

    Synthesis and timing optimization of boolean networks


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 154 f
  • Annexes : Bibliographie

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS93/INPG/0179

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : IMAG-1993-SAK
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.