Binary Decision Diagrams

Für jemanden mit einem Hammer sieht die ganze Welt wie ein Nagel aus. In den letzten 10-13 Jahren sind Binäre Entscheidungsdiagramme (BDDs) zur modernsten Datenstruktur in der VLSI-CAD geworden, um Boolesche Funktionen darzustellen und zu manipulieren. Heute werden BDDs weit verbreitet eingesetzt und sind auch in kommerzielle Werkzeuge integriert, insbesondere im Bereich der Verifikation und Synthese. Das Interesse an BDDs ergibt sich aus der Tatsache, dass diese Datenstruktur allgemein als ein guter Kompromiss zwischen der Kompaktheit der Darstellung und der Effizienz der Manipulation angesehen wird. Mit einer zunehmenden Anzahl von Anwendungen, auch in nicht-CAD-Bereichen, werden klassische Methoden zur Handhabung von BDDs verbessert, und es entstehen neue Fragen und Probleme, die gelöst werden müssen. Dieses Buch zielt darauf ab, Lesern, die mit BDDs (oder Entscheidungsdiagrammen im Allgemeinen) nicht vertraut sind, einen schnellen Einstieg zu ermöglichen, während auch mehrere fortgeschrittene Themen behandelt werden.