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: USB in a NutShellUSB in a NutShell
by - Beyond Logic
Topics: Introduction, Background, Architectural Overview, USB Data Flow Model, USB's Two Standard Connectors, Low Level Electrical Signalling, Protocol Layer, USB Device Frame Work, USB Host Hardware and Software and Hub Specification.
(15043 views)
Book cover: Principles of Semiconductor DevicesPrinciples of Semiconductor Devices
by
This book explores the behavior of semiconductor devices, to show the relation between the device material parameters, and the resulting electrical characteristics. The text provides the link between the physics and the design of electronic circuits.
(21412 views)
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.
(19323 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.
(17225 views)