1) empirical equivalence
经验等价性
1.
This thesis makes a detailed analysis of the connotation and basic kinds of empirical equivalence; and it demonstrates the relationship between empirical equivalence and under determination; and it expounds the difficulty that empirical equivalence brings to scientific selection.
文章具体地分析论述了经验等价性的内涵、基本类型;剖析了经验等价性论题与非充分决定性论题的关系;阐述了经验等价性论题所带来的科学理论选择的困境;然后,论证了经验等价性的合理性和所存在的理论缺陷;进而提出了面对这样的困境我们对科学实在论所应该采取的态度。
2) equivalent experience
等价经验
3) On the Thesis of Empirical Equivalence
论经验等价性论题
4) equivalence checking
等价性验证
1.
Automatic operand ordering for equivalence checking;
等价性验证中的自动算符排序
2.
Latch mapping algorithm for equivalence checking;
面向等价性验证的锁存器匹配算法
3.
An Equivalence Checking Algorithm for Combinational Circuits;
带黑盒组合电路的等价性验证
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条