论文部分内容阅读
为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法.该算法从逻辑变量6类对称性的定义出发,分析了对称变量的谱系数特征.提出了基于rademacher-walsh变换谱系数检测N(xi|xj)、E(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)6类对称变量的算法.应用实例表明,该算法简便高效,易于编程操作.