1) equivalence verification
等价验证
1.
According to the results of polynomial function,the upper bound of simulated vectors is obtained for the equivalence verification of the fixed-point datapaths,which avoids the exhaustive simulation.
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。
2.
Because of this,formal verification methods,such as equivalence verification,have become important for register transfer level or behavioral level verification.
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。
2) equivalence checking
等价性验证
1.
Automatic operand ordering for equivalence checking;
等价性验证中的自动算符排序
2.
Latch mapping algorithm for equivalence checking;
面向等价性验证的锁存器匹配算法
3.
An Equivalence Checking Algorithm for Combinational Circuits;
带黑盒组合电路的等价性验证
3) Sequential equivalence verification
时序等价验证
4) sequential equivalence checking
时序电路等价验证
1.
A new frame-expansion based sequential equivalence checking algorithm is proposed.
提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理。
2.
A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
5) provable equivalence
可证等价
1.
Based on the consistence of logical equivalence and provable equivalence of formulas in two-valued proposition logic,the general expression of formulas in F(Sn) in the meaning of provable equivalence with the help of assignment of formulas is given.
利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式。
6) equivalent test
等价试验
1.
On the background of research of linkSTATCOM for Xi Jiao Transformer Substation of Shang Hai Power Supply Bureau ,which is the scientific research task of National Power Company , the authorresearched on link STATCOM and its equivalent test technique .
本文以国家电网公司科技攻关项目-上海西郊变电站±50MVar 链式 STATCOM 的研制为背景,对三角形连接的链式 STATCOM 的链节及其等价试验方法进行了研究。
补充资料：等价
等价
equmrience
等价[剑两钧山”沈:，K，二a二e盯。ocT‘] 集合X上的具有下列性质的二元关系(binary rela-tion)R任XxX二 l)对任意x:义只义(自反性(代倪xi访ty)); 2)义RJ，冷夕撇(对称性(s yrnrnetry”; 3)x脚八y几冷x几(传递性(。双瑙迈讨ty夕). 如果f是集合X到集合y内的映射，则关系R“{(x，，习二fx、二久}是一等价关系. 对任意y任X，所有与y等价的x组成的集合U任X称为是y的等价类(闪比讼1日篮笼cla铝).任意两个等价类要么不相交，要么重合，也就是说，任意一个等价关系定义了X的一个分划，反之亦然. B.H.rp“吐山时撰张锦文、赵希顺译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条