n. equivalency
misc. equivalence property
统一码等价性 Unicode equivalence ; Canonically equivalent ; Compatibility decomposition
递归等价性 recursive equivalence
等价性检查 Equivalence Checking
质能等价性 [相对] mass-energy equivalence ; massecuite
等价性质 equivalence property ; [数] equivalence properties
等价性检验 equivalence checking
等价性验证 equivalence checking
拓扑学等价性 Topologically equivalent
语义等价性 semantic equivalence
概念等价性 conceptual equivalence
A novel equivalence checking flow and its verification system ZDFV were put forward for CPU design and verification.
针对CPU的设计验证,本文重点研究了一种新的等价性验证流程及其验证系统ZDFV。
参考来源 - 32位高性能嵌入式CPU及平台研发Sequential Equivalence Checking using invariant extraction technqiue and sequential SAT solver.
2.结合不变量提取和时序SAT的时序等价性验证技术。
参考来源 - 基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
因此,微正则系综与正则系综的等价性在统计中仍然成立。
Therefore, the equivalence between the microcanonical ensemble and canonical ensemble still holds in statistics.
因为这个例子很简单,所以等价性不难确定。
That's not too hard to determine, because these are simple cases.
访问表达式作用域中xml名称空间列表,在测试名称的等价性时需要。
Access to the list of XML namespaces in scope for the expression, needed when testing the equivalence of names.
应用推荐