Binary Decision Diagrams and Applications for VLSI CAD