对称变量相关论文
随着集成电路设计方法和工艺技术的提高，数字系统的性能越来越强，集成度也在迅速提高。特别是在系统芯片SoC(System-on-a-Chip)出现......
为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法.该算法从逻辑变量6类对称性的定义......
逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立......
【正】 定义设ζ<sub>1</sub>,…,ζ<sub>n</sub>,…为相互独立随机变量序列。我们称该序列服从大数定律,如果存在常数序列a<sub>1......
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数......
变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的......
研究了带有均流控制电路的两个并联buck变换器的对称变量在混沌、周期状态的幅度同步、相位同步及不同步等情形下的均流效果．发现当......
为简化布尔函数中12类对称变量的检测过程,提出了基于最小项展开系数的对称变量检测算法。该算法通过判别布尔函数有序特征值矩阵......
