Binary Decision Diagrams

Pour quelqu'un qui a un marteau, le monde entier ressemble à un clou. Au cours des 10 à 13 dernières années, les diagrammes de décision binaires (BDD) sont devenus la structure de données de référence dans le CAD VLSI pour la représentation et la manipulation des fonctions booléennes. Aujourd'hui, les BDD sont largement utilisés et ont également été intégrés dans des outils commerciaux, notamment dans le domaine de la vérification et de la synthèse. L'intérêt pour les BDD découle du fait que cette structure de données est généralement acceptée comme offrant un bon compromis entre la concision de la représentation et l'efficacité de la manipulation. Avec un nombre croissant d'applications, y compris dans des domaines non liés au CAD, les méthodes classiques pour traiter les BDD sont améliorées, et de nouvelles questions et problèmes émergent qui doivent être résolus. Ce livre vise à aider les lecteurs qui ne sont pas familiers avec les BDD (ou les diagrammes de décision en général) à démarrer rapidement, tout en abordant plusieurs sujets avancés.