Binary Decision Diagrams and Applications for VLSI CAD

by Shin-ichi Minato

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided desi…