A new scheme to compute variable orders for binary decision diagrams

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 f...

Full description

Saved in:
Bibliographic Details
Published inGreat Lakes 4th Symposium on VLSI: Design Automation of High Performance VLSI Systems pp. 105 - 108
Main Authors Jain, J., Bitner, J., Moundanos, D., Abraham, J.A., Fussell, D.S.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1994
Subjects
Binary decision diagrams
Boolean functions
Circuit analysis
Circuit analysis computing
Cost function
Data structures
Entropy
Input variables
Jacobian matrices
Packaging
Online AccessGet full text
ISBN0818656107
9780818656101
DOI10.1109/GLSV.1994.289986

Cover

More Information
Summary: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.< >
ISBN:0818656107
9780818656101
DOI:10.1109/GLSV.1994.289986