Title :
A new scheme to compute variable orders for binary decision diagrams
Author :
Jain, Jawahar ; Bitner, James ; Moundanos, Dinos ; Abraham, Jacob A. ; Fussell, Donald S.
Author_Institution :
Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
Abstract :
Introduces some new methods for estimating the “importance” of a variable in a Boolean function, and uses them to compute variable orders for OBDD construction. These measures are based on information theoretic criteria, and require the computation of the entropy of a variable in a given function. These entropy measures prove quite effective in distinguishing the importance of variables. Experimental results show this to be a very encouraging approach to help in the solution of this well known problem
Keywords :
Boolean functions; computational complexity; entropy; logic design; Boolean function; OBDD construction; binary decision diagrams; entropy; importance; information theoretic criteria; variable orders; Binary decision diagrams; Boolean functions; Circuit analysis; Circuit analysis computing; Cost function; Data structures; Entropy; Input variables; Jacobian matrices; Packaging;
Conference_Titel :
VLSI, 1994. Design Automation of High Performance VLSI Systems. GLSV '94, Proceedings., Fourth Great Lakes Symposium on
Conference_Location :
Notre Dame, IN
Print_ISBN :
0-8186-5610-7
DOI :
10.1109/GLSV.1994.289986
