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 CAD for representation... This description may be from another edition of this product.