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

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

基于可观测性无关项的快速逻辑优化实现策略

在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化。同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化。

一种改进的多级逻辑优化算法

基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算法可用于大规模集成电路的设计 .

一种新的计算最大允许函数集的方法

变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新的计算门处最大允许函数集的方法。该方法通过计算逻辑网络中门处的可观测性无关项较为容易得到最大允许函数集。实验结果表明，该方法在计算时间上明显优于原来的计算方法。