Binary Decision Diagrams And Applications For Vlsi Cad door Shin-ichi Minato