Logo

Algorithms and Data Structures in VLSI Design

Large book cover: Algorithms and Data Structures in VLSI Design

Algorithms and Data Structures in VLSI Design
by

Publisher: Springer
ISBN/ASIN: 3540644865
ISBN-13: 9783540644866
Number of pages: 279

Description:
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.

Home page url

Download or read it online for free here:
Download link
(2.9MB, PDF)

Similar books

Book cover: Computer Aids for VLSI DesignComputer Aids for VLSI Design
by - Addison-Wesley
A broad view of the computational tools for VLSI designers. This book contains information valuable both to tool builders and to chip designers. The exposition is understandable to anyone familiar with computer programming and chip design.
(12780 views)
Book cover: Implementing a One Address CPU in LogisimImplementing a One Address CPU in Logisim
by - Gettysburg College
This purpose of this monograph is to break the abstract understanding of a computer, and to explain a computer's behavior in completely in mechanistic terms. It will deal specifically with the Central Processing Unit (CPU) of the computer.
(2950 views)
Book cover: More About High-volume Web SitesMore About High-volume Web Sites
by - International Technical Support
Prepare your WebSphere Web site for e-business on demand, architecture for virtualization with WebSphere Application Server, advanced clustering techniques for maximizing Web site availability with WebSphere Application Server, and more.
(13306 views)
Book cover: Quantitative System Performance, Computer System Analysis Using Queuing Network ModelsQuantitative System Performance, Computer System Analysis Using Queuing Network Models
by - Prentice Hall
This is a book book for computer system performance analysts. It should teach them to apply queueing network models as tools to assist in answering the questions of cost and performance that arise throughout the life of a computer system.
(12129 views)