Binary Decision Diagrams

Binary Decision Diagrams
Author :
Publisher : Springer Science & Business Media
Total Pages : 205
Release :
ISBN-10 : 9781475728927
ISBN-13 : 1475728921
Rating : 4/5 (27 Downloads)

Book Synopsis Binary Decision Diagrams by : Rolf Drechsler

Download or read book Binary Decision Diagrams written by Rolf Drechsler and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar·y Decision Diagmms (BDDs) 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 (or DDs in general) 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 (in industry or academia) to keep informed about recent developments in this area.


Binary Decision Diagrams Related Books

Binary Decision Diagrams
Language: en
Pages: 205
Authors: Rolf Drechsler
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar·y Decision Diagmms (BDDs) have become the state-of-the-art data
Binary Decision Diagrams and Applications for VLSI CAD
Language: en
Pages: 170
Authors: Shin-ichi Minato
Categories: Technology & Engineering
Type: BOOK - Published: 1995-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale i
Branching Programs and Binary Decision Diagrams
Language: en
Pages: 418
Authors: Ingo Wegener
Categories: Mathematics
Type: BOOK - Published: 2000-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of
Handbook of Model Checking
Language: en
Pages: 1210
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2018-05-18 - Publisher: Springer

DOWNLOAD EBOOK

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit
Decision Diagrams for Optimization
Language: en
Pages: 262
Authors: David Bergman
Categories: Computers
Type: BOOK - Published: 2016-11-01 - Publisher: Springer

DOWNLOAD EBOOK

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over