Binary Decision Diagrams : Theory and Implementation / by Rolf Drechsler, Bernd Becker.

Within the last 10-13 years Binary Decision Diagrams (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation and manipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, especially in the area of v...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Drechsler, Rolf
Other Authors:	Becker, Bernd
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1998.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering.