1) equivalent checking
![点击朗读](/dictall/images/read.gif)
等价性检查
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.
其中形式验证中的等价性检查贯穿于整个后端设计流程之中。
2) equivalence checking
![点击朗读](/dictall/images/read.gif)
等价性检验
1.
Equivalence Checking for Combinational Circuits with FUN Algorithm;
![点击朗读](/dictall/images/read.gif)
利用FAN算法进行组合电路的等价性检验
2.
Substitution-based equivalence checking for combinational circuits;
![点击朗读](/dictall/images/read.gif)
基于替换的组合电路的等价性检验方法
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设计之间的功能等价性验证 此外 ,给出了验证过程中一些常见问题的解决办法 验证结果表明了该方法的可行性 ,显著地减少了门级模拟的时
3) equivalence check
![点击朗读](/dictall/images/read.gif)
等价性检验
1.
Combinational equivalence check based on recursive learning;
![点击朗读](/dictall/images/read.gif)
基于递归学习的组合电路等价性检验方法研究
4) inspection level
![点击朗读](/dictall/images/read.gif)
检查等级
5) query equivalence
![点击朗读](/dictall/images/read.gif)
查询等价
6) Value
[英]['vælju:] [美]['vælju]
![点击朗读](/dictall/images/read.gif)
检查价值
1.
Spinal Burst Fracture Check Imaging Performance and Value Analysis;
![点击朗读](/dictall/images/read.gif)
脊柱爆裂型骨折影像学表现及检查价值分析
补充资料:等价性
等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条