Binary Decision Diagrams and Applications for VLSI CAD

by

Write The First Customer Review

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 design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by ...

Binary Decision Diagrams and Applications for VLSI CAD 2011, Springer

ISBN-13: 9781461285588

Softcover Reprint of the Origi edition

Trade paperback

Select
Binary Decision Diagrams and Applications for VLSI CAD 1995, Springer, Boston, MA

ISBN-13: 9780792396529

1996 edition

Hardcover

Select