1.
Application of Technology of Assertion Verification on IP Core Verification;
断言验证技术在IP核验证中的应用
2.
Discussion of USP Specification for Validation of Laboratory Instruments
USP对实验室仪器验证技术要求探讨
3.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
4.
Research on Verification Technology of UML Models Based on Model Checking with SPIN;
基于SPIN的UML模型验证技术的研究
5.
Design and Verification Technology of a 16-bit DSP IP Core;
16位DSP IP核的设计与验证技术
6.
Study on ASIC Logic Verification Technology Based on FPGAs;
基于FPGA组的ASIC逻辑验证技术研究
7.
Research on the Protocol Analysis Based on Strand Space Model;
基于串空间模型的协议验证技术研究
8.
Research on Design and Verification of Cache for a 32-bit DSP;
一种32位DSP cache的设计与验证技术研究
9.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
10.
The Application of ASP. NET Security Identity Verification Technology;
ASP.NET安全身份验证技术的应用
11.
Hardware/Software Co-verification Solution Based on FPGA and ISS
基于FPGA和ISS的软硬件协同验证技术
12.
Research and Realization of High-Speed Digital Circuit Silicon Verification
高速数字电路硅验证技术研究与实现
13.
The Coverage-driven Verification Technology Based on IIP Module
基于IIP模块的覆盖率驱动验证技术
14.
Efficient CAPTCHA Recognition Technology and CAPTCHA Classification Idea
高效的验证码识别技术与验证码分类思想
15.
Microsoft Authenticode technology, which verifies the identity of programs you download.
Microsoft Authenticode 技术，它验证下载程序的标识。
16.
In order to verify the correctness and reliability of Know-how
为了验证专有技术的正确性和可靠性
17.
No funding will be available until the technology is completely proven.
该技术得到充分验证后才会有拨款。
18.
Technical Testing of Drift-scan CCD Camera;
天文漂移扫描CCD相机的技术验证