Binary Decision Diagrams : Theory and Implementation /

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

Main Author:	Drechsler, Rolf
Corporate Author:	SpringerLink (Online service)
Other Authors:	Becker, Bernd
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1998.
Subjects:	Engineering. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book