对称变量相关论文
随着集成电路设计方法和工艺技术的提高，数字系统的性能越来越强，集成度也在迅速提高。特别是在系统芯片SoC(System-on-a-Chip)出现......
为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法.该算法从逻辑变量6类对称性的定义......
逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立......
