학술논문
A new scheme to compute variable orders for binary decision diagrams
Document Type
Conference
Author
Source
Proceedings of 4th Great Lakes Symposium on VLSI VLSI, 1994. Design Automation of High Performance VLSI Systems. GLSV '94, Proceedings., Fourth Great Lakes Symposium on. :105-108 1994
Subject
Language
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.ETX