Contributions

  • Becker, Bernd. - Contributor

Publication

1998 - Kluwer Academic Publishers, Boston, Massachusetts

Language

English

Word Count

50,000 words, Guess

Page Count

200 pages

Identifiers

  • Open LibraryOL350562M
  • ISBN-100792381939
  • OCLC Control Number39936915
  • Library of Congress Control Number98009928
  • Goodreads4254715

Classifications

  • DDC658.4/03/015118
  • LCCT57.95 .D69 1998

Description

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.

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!