Optimisation de ROBBDs et applications

Robdds optimisations and applications

• Auteur / Autrice : Thierry Besson
• Direction : Gabrièle Saucier
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Grenoble INPG

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Optimisation

Ordonnancement

Fonction booleenne

Robdd

Fpga

Synthese logique

Diagramme decision binaire

Cd

Optimization

Scheduling

Boolean function

Binary decision diagram

Cd

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