Optimisations de robdds et applications

par THIERRY BESSON

Thèse de doctorat en Sciences appliquées

Sous la direction de G. SOUCIER.

Soutenue en 1996

à l'INP GRENOBLE .

    mots clés mots clés


  • Résumé

    La synthese logique est a l'origine de l'evolution des systemes numeriques et de l'informatique. De nombreux problemes peuvent se ramener a une serie d'operations sur des fonctions booleennes aussi bien en electronique numerique, en intelligence artificielle, recherche operationnelle que dans le domaine du test ou de la preuve formelle. Depuis que ce domaine est etudie plusieurs representations de fonctions booleennes ont ete introduites: table de verite, representation en somme de monomes, somme exclusive de produits et les diagrammes de decision binaire ou bdds. Le grand interet des bdds est que ceux-ci offrent une representation canonique des fonctions booleennes extremement compact. Malheureusement, le point faible de cette representation reside dans le fait que sa taille est etroitement liee a l'ordre des variables. Cette these consistera donc a trouver des methodes d'ordonnancement des variables d'un bdd de facon a ce que celui-ci soit de taille minimisee. Une application interessante de ces resultats peut-etre faite pour resoudre les problemes de decomposition technologique sur des composants a base de multiplexeurs et notamment sur les cellules actels du nom de la meme compagnie


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 3 VOL.,154 P.
  • Annexes : 163 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.