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 Navigation
SINS/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)
用数字等效程序验证模拟结果