Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications [Paperback]

Christoph Meinel (Author), Thorsten Theobald (Author)

Book Description

Publication Date: September 18, 1998 | ISBN-10: 3540644865 | ISBN-13: 978-3540644866 | Edition: 1

One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.

Editorial Reviews

Language Notes

Text: English (translation)
Original Language: German

From the Back Cover

One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.

Product Details

• Paperback: 278 pages
• Publisher: Springer; 1 edition (September 18, 1998)
• Language: English
• ISBN-10: 3540644865
• ISBN-13: 978-3540644866
• Product Dimensions: 9.2 x 6.2 x 0.6 inches
• Shipping Weight: 1 pounds (View shipping rates and policies)
• Average Customer Review: 4.0 out of 5 stars  See all reviews (3 customer reviews)
• Amazon Best Sellers Rank: #2,336,958 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

4 of 4 people found the following review helpful:

5.0 out of 5 stars A Real Review, July 25, 2006

By 

Jose Alvarez (Miami, Florida United States) - See all my reviews
(REAL NAME)   

This review is from: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications (Paperback)

Searching through the items I have purchased here at Amazon in the past I came upon a disturbing site: Someone had rated this book with 2 stars and claimed to be "interested in all aspects of algorithms and methods VLSI design automation". As you may see from below 13 out of 13 costumers ( I will be the 14th) seem to disagree or not find his comments all to helpful. I have rated this book with 5 starts in part to counteract this guy's horrible judgment and in part to make justice to a very well written book. At least that's what I thought after I first read it (during my sophomore year of college) after having finished an introduction course in Digital Design. What was nice about this book at the time was that it reinforced the basic concepts that my introductory course had left kind of hanging. This book is for the more mathematically inclined Computer Science or Electrical and Computer Engineering majors who want a more profound insight to digital design from small to large to very large integration. If you thought that just because it's a more theoretically oriented book it doesn't also provide good example you were of course wrong. There is a sizeable number of examples and best of all pseudo code of the algorithms which are explained here.
I hope this ACTUALLY helps

1 of 1 people found the following review helpful:

5.0 out of 5 stars Introduction to a milestone algorithm in VLSI: ordered binary decision diagrams, June 18, 2010

By 

Litsios James - See all my reviews
(REAL NAME)   

This review is from: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications (Paperback)

Imagine that you have a many million transistor chip. No, imagine that you have a many billion transistor chip! And you want to prove that this chip does what it suppose to do. You cannot enumerate all the states of your chip and check that all is well, two to the power "a billion" is a pretty big number. The trick is then to iterate through the "higher levels" of a "compressed" form of the system to be validated, while being careful to keep the respresentation of the system compact. That is what ordered binary decision diagrams (OBDD) is all about and this book is a very good introduction to the subject.

0 of 20 people found the following review helpful:

2.0 out of 5 stars Reader from San Francisco, CA 19 May 2000, May 19, 2000

By 

Mikhail Urman (San Francisco) - See all my reviews

This review is from: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications (Paperback)

I am interasted in all aspects of algorithms and methods VLSI design automation