ABSTRACT
Binary decision diagrams (BDDs) are a state-of-the-art method representing switching functions that are
efficient in using time and space. Many algorithms of logic design translate to BDDs and significantly improve
their effectiveness. BDDs are useful not only for VLSI CAD but also in electrical engineering.