Binary Decision Diagrams

For someone with a hammer, the whole world looks like a nail. Within the last 10-13 years, Binary Decision Diagrams (BDDs) have become the state-of-the-art data structure in VLSI CAD for the representation and manipulation of Boolean functions. Today, BDDs are widely used and have also been integrated into commercial tools, especially in the area of verification and synthesis. The interest in BDDs arises from the fact that this data structure is generally accepted as providing a good compromise between conciseness of representation and efficiency of manipulation. With an increasing number of applications, including in non-CAD areas, classical methods to handle BDDs are being improved, and new questions and problems are evolving that need to be solved. This book aims to help readers who are not familiar with BDDs (or decision diagrams in general) to get a quick start, while also discussing several advanced topics.