DocumentCode
1845525
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
fYear
1994
fDate
4-5 Mar 1994
Firstpage
105
Lastpage
108
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/GLSV.1994.289986
Filename
289986
Link To Document