Download E-books Algorithms and Data Structures in VLSI Design: OBDD — Foundations and Applications PDF

By Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.)

One of the most difficulties in chip layout is the massive variety of attainable mixtures of person chip parts, resulting in a combinatorial explosion as chips develop into extra advanced. New key leads to theoretical desktop technological know-how and within the layout of knowledge buildings and effective algorithms will be utilized fruitfully the following. the applying of ordered binary selection diagrams (OBDDs) has resulted in dramatic functionality advancements in lots of computer-aided layout tasks. This textbook presents an advent to the principles of this interdisciplinary examine region with an emphasis on functions in computer-aided circuit layout and formal verification.

Show description

Read or Download Algorithms and Data Structures in VLSI Design: OBDD — Foundations and Applications PDF

Best Algorithms books

An Introduction to Quantum Computing

This concise, available textual content presents an intensive advent to quantum computing - an exhilarating emergent box on the interface of the pc, engineering, mathematical and actual sciences. aimed toward complex undergraduate and starting graduate scholars in those disciplines, the textual content is technically particular and is obviously illustrated all through with diagrams and workouts.

Art of Computer Programming, Volume 2: Seminumerical Algorithms (3rd Edition)

The bible of all primary algorithms and the paintings that taught lots of present day software program builders so much of what they find out about machine programming.   –Byte, September 1995   i will not start to inform you what percentage gratifying hours of analysis and game they've got afforded me! i've got pored over them in vehicles, eating places, at paintings, at domestic.

The Art of Computer Programming, Volume 3: Sorting and Searching (2nd Edition)

The 1st revision of this 3rd quantity is the main entire survey of classical laptop recommendations for sorting and looking. It extends the therapy of knowledge buildings in quantity 1 to think about either huge and small databases and inner and exterior thoughts. The booklet includes a choice of conscientiously checked machine equipment, with a quantitative research in their potency.

Computational Molecular Biology: An Algorithmic Approach (Computational Molecular Biology)

In a single of the 1st significant texts within the rising box of computational molecular biology, Pavel Pevzner covers a wide diversity of algorithmic and combinatorial issues and indicates how they're hooked up to molecular biology and to biotechnology. The publication has a considerable "computational biology with out formulation" part that provides the organic and computational rules in a comparatively uncomplicated demeanour.

Additional info for Algorithms and Data Structures in VLSI Design: OBDD — Foundations and Applications

Show sample text content

Rated 4.67 of 5 – based on 6 votes