Binary Decision Diagrams

Per qualcuno che ha un martello, il mondo intero sembra un chiodo. Negli ultimi 10-13 anni, i Diagrammi di Decisione Binaria (BDD) sono diventati la struttura dati all'avanguardia nel CAD VLSI per la rappresentazione e la manipolazione delle funzioni booleane. Oggi, i BDD sono ampiamente utilizzati e sono stati integrati anche in strumenti commerciali, specialmente nell'area della verifica e della sintesi. L'interesse per i BDD deriva dal fatto che questa struttura dati è generalmente accettata come un buon compromesso tra la concisione della rappresentazione e l'efficienza della manipolazione. Con un numero crescente di applicazioni, anche in aree non CAD, i metodi classici per gestire i BDD stanno migliorando, e stanno emergendo nuove domande e problemi che necessitano di essere risolti. Questo libro ha l'obiettivo di aiutare i lettori che non sono familiari con i BDD (o i diagrammi di decisione in generale) a iniziare rapidamente, discutendo anche diversi argomenti avanzati.