Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been
successfully applied in many other fields. DDs are widely used and are also integrated in …

The ordered binary decision diagram (OBDD) has proven useful in many applications as an
efficient data structure for representing and manipulating Boolean functions. A serious …

Ordered binary decision diagrams are a useful representation of Boolean functions, if a
good variable ordering is known. Variable orderings are computed by heuristic algorithms …

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs) 5,
3], Algebraic Decision Diagrams (ADDs) 1], and Zerosuppressed Binary Decision Diagrams …

One of the main problems in chip design is the huge number of possible combinations of
individual chip elements, leading to a combinatorial explosion as chips become more …

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic
synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation …

In this doctoral dissertation, we study three basic problems in machine learning and two new
hypothesis spaces with corresponding learning algorithms. The problems we investigate …

This advanced textbook presents an almost complete overview of techniques for hardware
verification. It covers all approaches used in existing tools, such as binary and word-level …

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years
Binar· y Decision Diagmms (BDDs) have become the state-of-the-art data structure in VLSI …

Over the years, the fundamentals of VLSI technology have evolved to include a wide range
of topics and a broad range of practices. To encompass such a vast amount of knowledge …