验证专门化元素的内容模型比它们常规的等价部分更具限制性。
Verify that the content models of specialized elements are more restrictive than their general equivalents.
以一类简单的碰撞振动系统为例，验证了两种混沌门槛值判据的等价性。
In this paper the equivalence of two criteria for chaos threshold in an impact vibration system is verified.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
目的评价一组经过等价性验证的汉语普通话单音节表在听力损失患者中的复测信度。
Objective To evaluate Test-retest reliability of Mandarin monosyllable lists with equivalency in audibility in hearing loss group.
证明了关于查询等价和有限步数引理，讨论了不同条件下信息检索算法的复杂度，并在试验中验证了信息动态路由算法的可行性和高效率。
The lemma of query equivalent and lemma of limited steps was proved and the complexity of information query algorithm in different conditions was discussed.
等价性检验方法通常包括功能性和结构性的验证方法。
The equivalence check usually includes both functional and structural verifications.
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性，提出了一种结合多种方法的新型锁存器匹配算法。
A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods.
本文对仿真的算法和过程进行了阐述，以混合仿真和等价性验证为基础，提出了加快仿真和验证速度的措施。
This paper expands the algorithm and process of simulation, and then put forward new measures to accelerate it using cc simulation method and equivalence checker.
本文对仿真的算法和过程进行了阐述，以混合仿真和等价性验证为基础，提出了加快仿真和验证速度的措施。
This paper expands the algorithm and process of simulation, and then put forward new measures to accelerate it using cc simulation method and equivalence checker.
应用推荐