1) equivalence checking
等价性验证
1.
Automatic operand ordering for equivalence checking;
等价性验证中的自动算符排序
2.
Latch mapping algorithm for equivalence checking;
面向等价性验证的锁存器匹配算法
3.
An Equivalence Checking Algorithm for Combinational Circuits;
带黑盒组合电路的等价性验证
2) 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的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。
4) Sequential equivalence verification
时序等价验证
5) equivalence checking
等价性检验
1.
Equivalence Checking for Combinational Circuits with FUN Algorithm;
利用FAN算法进行组合电路的等价性检验
2.
Substitution-based equivalence checking for combinational circuits;
基于替换的组合电路的等价性检验方法
3.
In this paper, we present an equivalence checking scheme for verifying a general purpose CPU design, including proving the equivalence of two designs in different.
针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检验在一款通用CPU设计验证中的应用方案 ,包括寄存器传输级 (RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证 此外 ,给出了验证过程中一些常见问题的解决办法 验证结果表明了该方法的可行性 ,显著地减少了门级模拟的时
6) equivalence check
等价性检验
1.
Combinational equivalence check based on recursive learning;
基于递归学习的组合电路等价性检验方法研究
补充资料：等价性
等价性
equivalence
aengljaxing等价性(叹uivaience的相同性。就程序而言相同主要指功能相同。 今)两个对象某个特定侧面，这个侧面就是语义。语义两个程序功能等价是指它们对同样的输人给出同样的输出。 在程序转换过程中，我们逐步将易读、高抽象级的程序向高效的、基于具体虚拟机的程序转换。为了保证正确性，我们要求转换前的程序和转换后的程序在功能上等价。因此这种转换关系应当是一个等价关系=，即应满足: 自反性:对任意的x，x=x; 对称性:如果x二y，则y二x; 传递性:如果x=y，y=z则x=z。自反性对程序转换而言总是满足的;对称性使得转换可逆转，亦即，保证转换过程中不损失有关功能的信息;传递性保证可对程序进行多次转换;为了使得可对程序进行局部转换而保持整个程序的功能不变，我们还要求程序转换满足等价替换，即: 可替性:如果x=y，则p二P〔y/x〕这里P〔y/x」表示将P中x的若干(指定的)出现换成y。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条