Skip to main content
SpringerLink
Log in
Book cover

Binary Decision Diagrams

Theory and Implementation

  • Book
  • © 1998

Overview

Authors:
  1. Rolf Drechsler

    1. Albert-Ludwigs-University, Freiburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Bernd Becker

    1. Albert-Ludwigs-University, Freiburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages N1-x
    Download chapter PDF

  2. Introduction

    • Rolf Drechsler, Bernd Becker
    Pages 1-3

  3. Notations and Definitions

    • Rolf Drechsler, Bernd Becker
    Pages 5-8

  4. Decision Diagrams

    • Rolf Drechsler, Bernd Becker
    Pages 9-30

  5. Theoretical Aspects

    • Rolf Drechsler, Bernd Becker
    Pages 31-43

  6. Minimization of Decision Diagrams: Classical Methods

    • Rolf Drechsler, Bernd Becker
    Pages 45-56

  7. Minimization Using Symmetries

    • Rolf Drechsler, Bernd Becker
    Pages 57-91

  8. Alternative Minimization Concepts

    • Rolf Drechsler, Bernd Becker
    Pages 93-125

  9. Implementational Concepts

    • Rolf Drechsler, Bernd Becker
    Pages 127-164

  10. A Case Study: Two-Level AND/EXOR Minimization

    • Rolf Drechsler, Bernd Becker
    Pages 165-182

  11. Conclusions

    • Rolf Drechsler, Bernd Becker
    Pages 183-184

  12. Back Matter

    Pages 185-200
    Download chapter PDF
Back to top

Keywords

About this book

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar·y Decision Diagmms (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation and ma­ nipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, especially in the area of verijication and synthesis. The interest in BDDs results from the fact that the data structure is generally accepted as providing a good compromise between conciseness of representation and efficiency of manipulation. With increasing number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved. The book should help the reader who is not familiar with BDDs (or DDs in general) to get a quick start. On the other hand it will discuss several new aspects of BDDs, e.g. with respect to minimization and implementation of a package. This will help people working with BDDs (in industry or academia) to keep informed about recent developments in this area.

Authors and Affiliations

  • Albert-Ludwigs-University, Freiburg, Germany

    Rolf Drechsler, Bernd Becker

Bibliographic Information

  • Book Title: Binary Decision Diagrams

  • Book Subtitle: Theory and Implementation

  • Authors: Rolf Drechsler, Bernd Becker

  • DOI: https://doi.org/10.1007/978-1-4757-2892-7

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag US 1998

  • Hardcover ISBN: 978-0-7923-8193-8Published: 30 June 1998

  • Softcover ISBN: 978-1-4419-5047-5Published: 03 December 2010

  • eBook ISBN: 978-1-4757-2892-7Published: 17 April 2013

  • Edition Number: 1

  • Number of Pages: X, 200

  • Topics: Circuits and Systems, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design

Publish with us

Policies and ethics

Back to top

Search

Navigation