可观测性无关项相关论文
变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新......
在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,......
OBDD是一种表示和操纵布尔函数的有效方法.由于许多布尔运算都可以转换为OBDD图的运算,因此,OBDD在集成电路设计领域,如逻辑综合、......
基于变换化简法，提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法.通过计算逻辑网络中门或连线处的可观测性无关项，可迅......
