等价验证,equivalence verification
1)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的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。
英文短句/例句
1.Sequential Equivalence Verification Combining Relational Modeling with Term Rewriting Technique结合关系建模与项重写技术的时序电路等价验证
2.Equivalence Verification of High-Level Datapaths Based on Polynomial Symbolic Algebra基于多项式符号代数方法的高层次数据通路的等价验证
3.The Development and Equivalent Validation of Mandarin Monosyllable Words Test List;汉语单音节测听词表的开发和等价性验证
4.System Architecture of Equivalence Checking System of Integrate Circuits and Implementation;集成电路等价性验证系统设计及其实现
5.An Equivalence Checking Method for Circuits with Black Boxes Based on Logic Cone and SAT;基于逻辑锥和SAT的带黑盒电路等价性验证方法
6.Logic Synthesis and Equivalence Checking of Communication Chip一款通信芯片的逻辑综合和等价性验证
7.Equivalence Checking between System Level Model and RTL Implementation系统级模型与RTL实现的等价性验证方法
8.Simulation-based equivalence verification for fixed-point arithmetic datapaths基于模拟的定点算术数据通路等价性验证
9.Verifying Algorithm of Equivalence Based on State Transfer Graph"s Isomorphism Solving基于状态转换图同构求解的等价性验证算法
10.Multi-factor Synthetic Evaluation and Land Price Verification in the Research in to Urban Land Classification of City Territory;多因素综合评价与地价验证法在市域尺度城镇土地分等中的应用
11.The Equipollence Validation of Two Inertial Error Models in SINS/GPS Integrated NavigationSINS/GPS组合导航中两种惯导误差模型的等价性验证
12.examine facts, a theory, evidence, etc查验事实、 理论、 证据等
13.ALL PRICES TO BE INCLUDED ALL CHARGES I, E L/ C, FUMIGATION ETC.单价包含所有价格，例如信用证，熏蒸证明等等。
14.Evaluations are done via models to verify such things as stability, water pressure, lighting layouts, power requirements, etc.通过建模来验证稳定性、防水性、照明布置以及电源的需求等等从而实施评价。
15.A Test for Relationship between Estate Price and Land Price: 1999-2002;房价与地价关系的实证检验:1999-2002
16.A Positive Analysis on Total Price equal to Total Value and Total Profit equal to Total Remain Value;对总价格等于总价值、总利润等于总剩余价值的实证分析
17.On the model of higher education investment and wages in Taiwan;台湾高等教育投资与薪资所得之实证模型验证
18.PARTNER (Proof of Analogue ResultsthroughNumericalE-quivalent Routine)用数字等效程序验证模拟结果
相关短句/例句
equivalence checking等价性验证
1.Automatic operand ordering forequivalence checking;等价性验证中的自动算符排序
2.Latch mapping algorithm forequivalence checking;面向等价性验证的锁存器匹配算法
3.An Equivalence Checking Algorithm for Combinational Circuits;带黑盒组合电路的等价性验证
3)Sequential equivalence verification时序等价验证
4)sequential equivalence checking时序电路等价验证
1.A new frame-expansion basedsequential equivalence checking algorithm is proposed.提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理。
2.Asequential equivalence checking algorithm based on state transfer graph is presented.提出一种基于状态转换图的时序电路等价验证算法。
5)provable equivalence可证等价
1.Based on the consistence of logical equivalence andprovable equivalence of formulas in two-valued proposition logic,the general expression of formulas in F(Sn) in the meaning ofprovable equivalence with the help of assignment of formulas is given.利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式。
6)equivalent test等价试验
1.On the background of research of linkSTATCOM for Xi Jiao Transformer Substation of Shang Hai Power Supply Bureau ,which is the scientific research task of National Power Company , the authorresearched on link STATCOM and itsequivalent test technique .本文以国家电网公司科技攻关项目-上海西郊变电站±50MVar 链式 STATCOM 的研制为背景,对三角形连接的链式 STATCOM 的链节及其等价试验方法进行了研究。
延伸阅读
等价等价equmrience等价[剑两钧山”沈:，K，二a二e盯。ocT‘]集合X上的具有下列性质的二元关系(binary rela-tion)R任XxX二l)对任意x:义只义(自反性(代倪xi访ty));2)义RJ，冷夕撇(对称性(s yrnrnetry”;3)x脚八y几冷x几(传递性(。双瑙迈讨ty夕).如果f是集合X到集合y内的映射，则关系R“{(x，，习二fx、二久}是一等价关系.对任意y任X，所有与y等价的x组成的集合U任X称为是y的等价类(闪比讼1日篮笼cla铝).任意两个等价类要么不相交，要么重合，也就是说，任意一个等价关系定义了X的一个分划，反之亦然.B.H.rp“吐山时撰张锦文、赵希顺译
