Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler
0/5 ( ratings)
Read Download
For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar-y Decision Diagmms have become the state-of-the-art data structure in VLSI CAD for representation and ma- nipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, especially in the area of verijication and synthesis. The interest in BDDs results from the fact that the data structure is generally accepted as providing a good compromise between conciseness of representation and efficiency of manipulation. With increasing number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved. The book should help the reader who is not familiar with BDDs to get a quick start. On the other hand it will discuss several new aspects of BDDs, e.g. with respect to minimization and implementation of a package. This will help people working with BDDs to keep informed about recent developments in this area.
Language
English
Pages
200
Format
Paperback
Publisher
Springer
Release
December 03, 2010
ISBN
1441950478
ISBN 13
9781441950475

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler
0/5 ( ratings)
Read Download
For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar-y Decision Diagmms have become the state-of-the-art data structure in VLSI CAD for representation and ma- nipulation of Boolean functions. Today, BDDs are widely used and in the meantime have also been integrated in commercial tools, especially in the area of verijication and synthesis. The interest in BDDs results from the fact that the data structure is generally accepted as providing a good compromise between conciseness of representation and efficiency of manipulation. With increasing number of applications, also in non CAD areas, classical methods to handle BDDs are being improved and new questions and problems evolve and have to be solved. The book should help the reader who is not familiar with BDDs to get a quick start. On the other hand it will discuss several new aspects of BDDs, e.g. with respect to minimization and implementation of a package. This will help people working with BDDs to keep informed about recent developments in this area.
Language
English
Pages
200
Format
Paperback
Publisher
Springer
Release
December 03, 2010
ISBN
1441950478
ISBN 13
9781441950475

More books from Rolf Drechsler

Robustness and Usability in Modern Design Flows

0/5 ( ratings)

Advanced BDD Optimization

0/5 ( ratings)

Test Pattern Generation Using Boolean Proof Engines

0/5 ( ratings)

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

0/5 ( ratings)

Exact Design of Digital Microfluidic Biochips

0/5 ( ratings)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015

0/5 ( ratings)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

0/5 ( ratings)

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

0/5 ( ratings)

Formal Specification Level: Concepts, Methods, and Algorithms

0/5 ( ratings)

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

0/5 ( ratings)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

0/5 ( ratings)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

0/5 ( ratings)

Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, ... (Lecture Notes in Computer Science)

0/5 ( ratings)

Advanced Formal Verification

0/5 ( ratings)

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (German Edition)

0/5 ( ratings)

High Quality Test Pattern Generation and Boolean Satisfiability

0/5 ( ratings)

Towards One-Pass Synthesis

0/5 ( ratings)

Formal System Verification: State-of the-Art and Future Trends

0/5 ( ratings)

Rate this book!

Write a review?

loader