论文部分内容阅读
本文详细分析了二元判定图的基本特征，研究了影响ＢＤＤ大小的主要因素－变量的排序问题，基于多输出电路的重叠输入变量段，作者提出局部变量的斐邓策略并逐步逼近全局变量的最佳排序，试图有效地降低ＢＤＤ的大小，从而为电路的逻辑验证和测试生成提供有效的手段。实验证明作者提出的局部变量动态排序算法是非常有效的。