A new scheme to compute variable orders for binary decision diagrams
J Jain, J Bitner, D Moundanos… - Proceedings of 4th …, 1994 - ieeexplore.ieee.org
J Jain, J Bitner, D Moundanos, JA Abraham, DS Fussell
Proceedings of 4th Great Lakes Symposium on VLSI, 1994•ieeexplore.ieee.orgIntroduces 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.<>
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.<>
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.< >
ieeexplore.ieee.org
Showing the best result for this search. See all results