等价性验证,equivalence checking
1)equivalence checking等价性验证
1.Automatic operand ordering forequivalence checking;等价性验证中的自动算符排序
2.Latch mapping algorithm forequivalence checking;面向等价性验证的锁存器匹配算法
3.An Equivalence Checking Algorithm for Combinational Circuits;带黑盒组合电路的等价性验证
英文短句/例句
1.The Development and Equivalent Validation of Mandarin Monosyllable Words Test List;汉语单音节测听词表的开发和等价性验证
2.System Architecture of Equivalence Checking System of Integrate Circuits and Implementation;集成电路等价性验证系统设计及其实现
3.An Equivalence Checking Method for Circuits with Black Boxes Based on Logic Cone and SAT;基于逻辑锥和SAT的带黑盒电路等价性验证方法
4.Logic Synthesis and Equivalence Checking of Communication Chip一款通信芯片的逻辑综合和等价性验证
5.Equivalence Checking between System Level Model and RTL Implementation系统级模型与RTL实现的等价性验证方法
6.Simulation-based equivalence verification for fixed-point arithmetic datapaths基于模拟的定点算术数据通路等价性验证
7.Verifying Algorithm of Equivalence Based on State Transfer Graph"s Isomorphism Solving基于状态转换图同构求解的等价性验证算法
8.The Equipollence Validation of Two Inertial Error Models in SINS/GPS Integrated NavigationSINS/GPS组合导航中两种惯导误差模型的等价性验证
9.Evaluations are done via models to verify such things as stability, water pressure, lighting layouts, power requirements, etc.通过建模来验证稳定性、防水性、照明布置以及电源的需求等等从而实施评价。
10.On the Approaches to Prove Circulation Equivalence of Completeness Theorems in R~2;R~2上完备性定理的等价性循环证明
11.The Equivalence Property of Return-Risk Models;关于投资收益-风险模型等价性的证明
12.Proof of Equivalence of Three Methods for Estimation of Gini Coefficient基尼系数估算三种方法等价性的证明
binational equivalence checking based on AIG reasoning用AIG推理检验组合电路的等价性
14.Equivalence Checking Method for Fixed-Point Arithmetic Datapaths定点算术数据通路的等价性检验方法
15.Core Self-Evaluation:A Confirmatory Factor Analysis;核心自我评价:一个验证性因素分析
16.Used to verify a certain condition (insure that a scalar subquery returns one row, validate referential integrity, etc).用于验证特定条件(确保标量子查询返回一行,验证引用完整性等)。
17.Multi-factor Synthetic Evaluation and Land Price Verification in the Research in to Urban Land Classification of City Territory;多因素综合评价与地价验证法在市域尺度城镇土地分等中的应用
18.Incremental Value Relevance of Fair Value Disclosure under Information Asymmetry:Empirical Evidences from China Stock Markets;信息环境与公允价值的股价相关性——来自中国证券市场的经验证据
相关短句/例句
equivalence verification等价验证
1.According to the results of polynomial function,the upper bound of simulated vectors is obtained for theequivalence verification of the fixed-point datapaths,which avoids the exhaustive simulation.为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。
2.Because of this,formal verification methods,such asequivalence verification,have become important for register transfer level or behavioral level verification.基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。
3)equivalence proof等价性证明
4)Sequential equivalence verification时序等价验证
5)equivalence checking等价性检验
1.Equivalence Checking for Combinational Circuits with FUN Algorithm;利用FAN算法进行组合电路的等价性检验
2.Substitution-basedequivalence checking for combinational circuits;基于替换的组合电路的等价性检验方法
3.In this paper, we present anequivalence 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等价性检验
binationalequivalence check based on recursive learning;基于递归学习的组合电路等价性检验方法研究
延伸阅读
等价性等价性equivalenceaengljaxing等价性(叹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。程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)