A new scheme to compute variable orders for binary decision diagrams

Proceedings of 4th Great Lakes Symposium on VLSI Pub Date : 1994-03-04 DOI:10.1109/GLSV.1994.289986

J. Jain, J. Bitner, Dinos Moundanos, J. Abraham, D. Fussell

引用次数: 10

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

查看原文本刊更多论文

一种计算二元决策图变量阶数的新方案

介绍了一些估计布尔函数中变量“重要性”的新方法，并用它们来计算OBDD构造的变量阶数。这些措施是基于信息论标准，并要求在给定的函数中计算一个变量的熵。这些熵度量在区分变量的重要性方面被证明是相当有效的。实验结果表明，这是一个非常令人鼓舞的方法，有助于解决这个众所周知的问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of 4th Great Lakes Symposium on VLSI

自引率

0.00%

发文量