基于动态计算可观测性无关项的OBDD变量序算法

OBDD是一种表示和操纵布尔函数的有效方法。由于许多布尔运算都可以转换为OBDD图的运算，因此，OBDD在集成电路设计领域，如逻辑综合、验证以及测试生成等，得到了广泛的应用。但是，OBDD的大小则严重依赖于变量序，为了实现OBDD的有效操作，寻找一个好的变量序是非常重要的基。基于此，文章提出了一个新的寻找OBDD变量序的启发式算法，它通过动态计算原始输入变量的可观测性无关项来确定一个好的变量序。实验结果表明，对于大部分电路，应用该算法都可以找到一个好的变量序。