loading...
Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions
Paris, France February 23-February 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.1998.655943Design Automation and Test in Europe ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Hiroshi Sawada, NTT Communication Science Laboratories
Shigeru Yamashitam, NTT Communication Science Laboratories
Akira Nagoya, NTT Communication Science Laboratories
Simple disjunctive decomposition is a special case of logic function decompositions, where variables are divided into two disjoint sets and there is only one newly introduced variable. This paper presents that many simple disjunctive decompositions can be found easily by detecting symmetric variables or checking variable cofactors. We also propose an algorithm that constructs a new logic representation for a simple disjunctive decomposition by assigning constant values to variables in the original representation. The algorithm enables us to apply the decomposition with keeping good structures of the original representation. We have performed experiments to restructure fanout free cones of multi-level logic circuits, and obtained better results than when not restructuring them.
Index Terms:
simple disjunctive decomposition, symmetric variables, ordered binary decision diagram, multi-level logic circuit
Citation:
Hiroshi Sawada, Shigeru Yamashitam, Akira Nagoya, "Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions," date, pp.755, Design Automation and Test in Europe (DATE '98), 1998
Usage of this product signifies your acceptance of the Terms of Use.