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.
Product Identifiers
Publisher
Lap Lambert Academic Publishing
ISBN-13
9783659437397
eBay Product ID (ePID)
190589975
Product Key Features
Author
Samar Sen Sarma, Krishnendu Basuli, Debajit Sensarma
Publication Name
How to Cope with an Intractable Problem
Format
Paperback
Language
English
Subject
Engineering & Technology
Publication Year
2013
Type
Textbook
Number of Pages
72 Pages
Dimensions
Item Height
229mm
Item Width
152mm
Item Weight
118g
Additional Product Features
Title_Author
Samar Sen Sarma, Krishnendu Basuli, Debajit Sensarma
Best Selling in Textbooks
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks