Save today: Get 40% off titles in Popular Science!

The Springer International Series in Engineering and Computer Science

Binary Decision Diagrams and Applications for VLSI CAD

Authors: Minato, Shin-ichi

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-1-4613-1303-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.99
price for USA in USD
Softcover $139.99
price for USA in USD
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.

Table of contents (10 chapters)

Table of contents (10 chapters)

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-1-4613-1303-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.99
price for USA in USD
Softcover $139.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Binary Decision Diagrams and Applications for VLSI CAD
Authors
Series Title
The Springer International Series in Engineering and Computer Science
Series Volume
342
Copyright
1996
Publisher
Springer US
Copyright Holder
Kluwer Academic Publishers
eBook ISBN
978-1-4613-1303-8
DOI
10.1007/978-1-4613-1303-8
Hardcover ISBN
978-0-7923-9652-9
Softcover ISBN
978-1-4612-8558-8
Series ISSN
0893-3405
Edition Number
1
Number of Pages
XVI, 142
Topics