1) 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设计之间的功能等价性验证 此外 ,给出了验证过程中一些常见问题的解决办法 验证结果表明了该方法的可行性 ,显著地减少了门级模拟的时
2) equivalence check
等价性检验
1.
Combinational equivalence check based on recursive learning;
基于递归学习的组合电路等价性检验方法研究
3) equivalent checking
等价性检查
1.
The equivalent checking in the formal verification was through the whole of digital circuit back-end design, such as: the comparison between RTL and netlist; the one between netlist and layout.
其中形式验证中的等价性检查贯穿于整个后端设计流程之中。
4) equivalence test
等效性检验
1.
Sample size and power determination for equivalence test in simple designs;
几种简单设计的等效性检验的样本量与检验效能
2.
The result were compared with t-test and equivalence test.
方法随机选取头颅定位侧位片40张,分别做Delaire计算机辅助测量和传统硫酸纸描图测量,测量结果做配对t检验和等效性检验。
3.
In the section of clinical study,10 kinds of commonly applied reserch designes were presented, meanwhile, questions regarding to equivalence test, noninferior.
在临床前药理研究中讨论了动物剂量估算 ,剂量对应和复方研究问题 ,在临床研究中介绍了 10种临床研究设计方式 ,讨论了等效性检验 ,非劣性检验 ,多中心资料 ,跨年度资料等问题 ,在统计分析方面列出了国内外新药研究常用的统计方法 ,讨论了计数资料和计量资料统计分析中应注意的问题。
5) equation test
相等性检验
6) equal probabilistic test
等概性检验
1.
In this article the equal probabilistic test of loss probability is discussed.
通过给出两种损失概率等概性检验,结合保单损失概率等概性检验中数据单侧固定的特点,导出了多元优比统计量,并运用大样本理论,分别得出其渐近分布。
补充资料：等价性
等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条