1.
Signal simulators many be used in software validation.
可以在软件验证中使用信号模拟器。
2.
The Research of Software Testing Technology and Software Component Verification;
软件测试技术及软件构件验证的研究
3.
Formal Analysis and Verification for Component-based Embedded Software Designs;
构件化嵌入式软件设计的分析与验证
4.
Simulation and Algorithm Verification of GPS Software Receiver
GPS软件接收机仿真实验及算法验证
5.
The custom authentication package configuration failed.
自定义身份验证软件包配置失败。
6.
The Design and Certification of Software Reliability of Embedded Manage-Control Software;
嵌入式管控软件的可靠性设计与验证
7.
Evaluation and Software Realization of Interception Algorithm on Communication Signal;
通信信号侦收的算法验证及软件实现
8.
A Checking Method of Solutions of Limit Problems--Mathematica Software;
求解极限问题的一种验证方法——Mathematica软件
9.
Hardware/Software Co-verification Solution Based on FPGA and ISS
基于FPGA和ISS的软硬件协同验证技术
10.
Study on the Vector-based SW/HW Cosimulation Method
Vector模式软硬件协同仿真验证方法研究
11.
Design of HW/SW Co-verification Platform for SoC
面向SoC的软硬件协同验证平台设计
12.
A SoC Hardware/Software Co-Verification Platform Based on PowerPC Processor
基于PowerPC的SoC软硬件协同验证平台
13.
High Effecient Software and Hardware Co-verification Platform for Cable Modem SOC Design
一种高效Cable Modem SOC软硬件协同验证平台
14.
Formal Analysis and Verification of Energy Properties for Component-based Embedded Software Designs
构件化嵌入式软件设计的能耗性质分析与验证
15.
Digital analysis for air-conditioner and experimental verification
空调器数字化仿真软件开发与实验验证
16.
Design and simulation software development of fan coil and experimental verification
风机盘管设计与仿真软件开发及实验验证
17.
Validate final released software (decisions on development cycle)
验证最终发布的软件的有效性（取决于开发周期）
18.
Design and Verification of an On-Board Reconfigurable Computer SoC;
星载可重构计算机系统集成与软硬件验证研究