On an optimization technique using Binary Decision Diagram

Details On an optimization technique using Binary Decision Diagram On an optimization technique using Binary Decision Diagram

2012-03-08

arxiv.org/abs/1203.2505v1

IJCSEA, Volume 2, Number 1, pg. 73-86, February 2012

Computer Science

Data Structures and Algorithms

10 pages,5 figures,Sensarma D., Banerjee S., Basuli K., Naskar S., & Sarma, S. S "Minimizing Boolean Sum of Products Functions

Scientific paper

Two-level logic minimization is a central problem in logic synthesis, and has applications in reliability analysis and automated reasoning. This paper represents a method of minimizing Boolean sum of products function with binary decision diagram and with disjoint sum of product minimization. Due to the symbolic representation of cubes for large problem instances, the method is orders of magnitude faster than previous enumerative techniques. But the quality of the approach largely depends on the variable ordering of the underlying BDD. The application of Binary Decision Diagrams (BDDs) as an efficient approach for the minimization of Disjoint Sums-of-Products (DSOPs). DSOPs are a starting point for several applications. The use of BDDs has the advantage of an implicit representation of terms. Due to this scheme the algorithm is faster than techniques working on explicit representations and the application to large circuits that could not be handled so far becomes possible. Theoretical studies on the influence of the BDDs to the search space are carried out. In experiments the proposed technique is compared to others. The results with respect to the size of the resulting DSOP are as good or better as those of the other techniques.

Affiliated with

Also associated with

No associations

Rating

On an optimization technique using Binary Decision Diagram does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On an optimization technique using Binary Decision Diagram, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On an optimization technique using Binary Decision Diagram will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-18133