Research Catalog

Title

Binary decision diagrams : theory and implementation / Rolf Drechsler, Bernd Becker.

Author

Drechsler, Rolf.

Publication

Boston : Kluwer Academic Publishers, [1998], ©1998.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Becker, Bernd.

Description

x, 200 pages : illustrations; 25 cm

Summary

• 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 verification and synthesis.
• Binary Decision Diagrams: Theory and Implementation is intended for both newcomers to BBDs as well as for researchers and practitioners who need to implement them. Apart from giving a quick start for reader who is not familiar with BBDs (or DDs in general), it also discusses several new aspects of BBDs, e.g. with respect to minimization and implementation of a package. It is an essential bookshelf item for any CAD designer or researcher working with BBDs.

Subject

• Decision making > Mathematical models
• Decision trees
• Decision logic tables

Bibliography (note)

• Includes bibliographical references (p. 185-197) and index.

Contents

1. Introduction -- 2. Notations and Definitions -- 3. Decision Diagrams -- 4. Theoretical Aspects -- 5. Minimization of Decision Diagrams: Classical Methods -- 6. Minimization Using Symmetries -- 7. Alternative Minimization Concepts -- 8. Implementational Concepts -- 9. A Case Study: Two-Level AND/EXOR Minimization -- 10. Conclusions.

ISBN

0792381939 (acid-free paper)

LCCN

98009928

OCLC

• 39936915
• ocm39936915

Owning Institutions

Columbia University Libraries