1.
Study on ASIC Logic Verification Technology Based on FPGAs;
基于FPGA组的ASIC逻辑验证技术研究
2.
Logic Verification for 802.11 MAC Based on SV
基于SV语言的802.11 MAC芯片逻辑验证方案
3.
Study of the Service Logic Verification Technology and Service Simulating Realization in IN;
智能网业务逻辑验证技术的研究及其仿真实现
4.
Design and FPGA Verification for the MDIO Interface Logic Integrated Circuit;
MDIO接口逻辑设计及其FPGA验证
5.
The Logic Design and Verification of USB Host Controller Chip;
USB主机控制芯片的逻辑设计与验证
6.
Logic and behavior validation of C~4ISR architecture description;
C~4ISR体系结构描述的逻辑和行为验证
7.
The Design and Verification of a 600MHz YHFT-DX ALU
600MHz YHFT-DX算术逻辑部件设计与验证
8.
Temporal Logic Property Verification for SystemC Designs
基于SystemC的时态逻辑属性验证方法研究
9.
The EDA Verification for"Buffer Management" Logic
对“缓存管理”逻辑进行EDA验证
10.
Verification of Web Service Orchestration Based on Concurrent Transaction Logic
基于并发事务逻辑的Web服务编制验证
11.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
12.
New logic analysis method for the verification of electronic commerce protocol
验证电子商务协议的新逻辑分析方法
13.
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
14.
The result of logical synthesis simulation verifies the correctness of the chip circuit.
逻辑综合仿真结果验证了芯片电路的正确性.
15.
Logic Program and Its Application to the Verification of Security Protocols;
逻辑程序及其在安全协议验证中的应用
16.
Reasoning Model of Agent and Verification System Based on Dynamic Fuzzy Logic(DFL);
基于动态模糊逻辑（DFL）的Agent推理模型及验证系统
17.
An Equivalence Checking Method for Circuits with Black Boxes Based on Logic Cone and SAT;
基于逻辑锥和SAT的带黑盒电路等价性验证方法
18.
Formal Verification of Digital Hardware Based on HOL;
基于高阶逻辑系统HOL的数字硬件形式化验证