How to cope with an Intractable Problem: using Binary Decision Diagram - Couverture souple

Sensarma, Debajit; Basuli, Krishnendu; Sen Sarma, Samar

 
9783659437397: How to cope with an Intractable Problem: using Binary Decision Diagram
Couverture souple
ISBN 10 : 3659437395 ISBN 13 : 9783659437397
Editeur : LAP LAMBERT Academic Publishing, 2013

Synopsis

Two-level logic minimization is an attractive topic in the active research domain and it is a central problem in logic synthesis, as well as in reliability analysis and automated reasoning and other real life applications. But, this Two-level logic minimization problem involves computationally intractable problems and many heuristic approaches have been developed to cope with this problem. This book contains the work which deals with the Two-level logic minimization problem using a popular data structure called Binary Decision Diagram (BDD) which is an important family of data structures that have rapidly become the method of choice for representing and manipulating Boolean Functions inside a computer. Also the implicit set manipulation techniques based on BDD could be used with success to compute the sets of Prime and Essential Prime Implicants of Boolean Functions for which these sets are too large to be explicitly built. So, this feature of BDD, the proper variable ordering of the BDD, Reduced Ordered BDD and other heuristic methods are used in this work for solving the Two-level logic minimization problem for the functions which generates large set of Prime Implicants.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Two-level logic minimization is an attractive topic in the active research domain and it is a central problem in logic synthesis, as well as in reliability analysis and automated reasoning and other real life applications. But, this Two-level logic minimization problem involves computationally intractable problems and many heuristic approaches have been developed to cope with this problem. This book contains the work which deals with the Two-level logic minimization problem using a popular data structure called Binary Decision Diagram (BDD) which is an important family of data structures that have rapidly become the method of choice for representing and manipulating Boolean Functions inside a computer. Also the implicit set manipulation techniques based on BDD could be used with success to compute the sets of Prime and Essential Prime Implicants of Boolean Functions for which these sets are too large to be explicitly built. So, this feature of BDD, the proper variable ordering of the BDD, Reduced Ordered BDD and other heuristic methods are used in this work for solving the Two-level logic minimization problem for the functions which generates large set of Prime Implicants.

Biographie de l'auteur

The author has received his B.Sc. degree in Computer Science with top rank in the collage and M.Sc. degree in computer Science with top rank in the university. He also obtained his M.Tech. degree in Computer Science and engineering. He is currently pursuing PhD with DST INSPIRE Fellowship and has published several research papers.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2013
Langue
anglais
ISBN 10 
3659437395
ISBN 13 
9783659437397
Reliure
Broché
Nombre de pages
72
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne