Skip to main content
SpringerLink
Log in
Book cover

Binary Decision Diagrams and Applications for VLSI CAD

  • Book
  • © 1996

Overview

Authors:
  1. Shin-ichi Minato

    1. NTT LSI Laboratories, Kanagawa, Japan

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 342)

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 i-xv
    Download chapter PDF

  2. Introduction

    • Shin-ichi Minato
    Pages 1-5

  3. Techniques of BDD Manipulation

    • Shin-ichi Minato
    Pages 7-24

  4. Variable Ordering for BDDs

    • Shin-ichi Minato
    Pages 25-37

  5. Representation of Multi-Valued Functions

    • Shin-ichi Minato
    Pages 39-47

  6. Generation of Cube Sets from BDDs

    • Shin-ichi Minato
    Pages 49-60

  7. Zero-Suppressed BDDs

    • Shin-ichi Minato
    Pages 61-80

  8. Multi-Level Logic Synthesis Using ZBDDs

    • Shin-ichi Minato
    Pages 81-94

  9. Implicit Manipulation of Polynomials Based on ZBDDs

    • Shin-ichi Minato
    Pages 95-107

  10. Arithmetic Boolean Expressions

    • Shin-ichi Minato
    Pages 109-128

  11. Conclusions

    • Shin-ichi Minato
    Pages 129-132

  12. Back Matter

    Pages 133-141
    Download chapter PDF
Back to top

Keywords

About this book

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs.
`Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant.
`Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.

Authors and Affiliations

  • NTT LSI Laboratories, Kanagawa, Japan

    Shin-ichi Minato

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation