对称变量相关论文
随着集成电路设计方法和工艺技术的提高,数字系统的性能越来越强,集成度也在迅速提高。特别是在系统芯片SoC(System-on-a-Chip)出现......
为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法.该算法从逻辑变量6类对称性的定义......
逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立......
【正】 定义设ζ<sub>1</sub>,…,ζ<sub>n</sub>,…为相互独立随机变量序列。我们称该序列服从大数定律,如果存在常数序列a<sub>1......
逻辑验证和逻辑综合中,利用对称变量的性质能提高算法整体的效率。通常?xixj^-=?xjxi^-被用来检验变量的对称性。一般先分别建立?xi......
论述了关于面、线、点对称的曲线上的广义奇、偶函数的第二类曲线积分及关于原点对称的曲线上的奇、偶复变函数积分的一个性质.......
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数......
变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的......
根据一类特殊的目标规划问题的特点,给出了这类问题的较一般单纯形法收敛更快的新算法。此算法在每次迭代中,出基与入基变量个数不再......
为简化布尔函数中12类对称变量的检测过程,提出了基于最小项展开系数的对称变量检测算法。该算法通过判别布尔函数有序特征值矩阵......