1.
USB IP Verification Based on the Hardware Verification Language JEDA;
基于硬件验证语言JEDA的USB IP核验证
2.
Design and Verification of an On-Board Reconfigurable Computer SoC;
星载可重构计算机系统集成与软硬件验证研究
3.
SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;
硬件系统SystemC～（FL）设计模型的SPIN验证
4.
The Hardware Design and Verification of OOB Mode(A) Transport System in CableCARD;
CableCARD中OOB Mode（A）传输系统的硬件设计及验证
5.
Hardware/Software Co-verification Solution Based on FPGA and ISS
基于FPGA和ISS的软硬件协同验证技术
6.
Study on the Vector-based SW/HW Cosimulation Method
Vector模式软硬件协同仿真验证方法研究
7.
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
8.
Design of HW/SW Co-verification Platform for SoC
面向SoC的软硬件协同验证平台设计
9.
A SoC Hardware/Software Co-Verification Platform Based on PowerPC Processor
基于PowerPC的SoC软硬件协同验证平台
10.
High Effecient Software and Hardware Co-verification Platform for Cable Modem SOC Design
一种高效Cable Modem SOC软硬件协同验证平台
11.
Parallel architecture design and FPGA verification of hardware adaboost algorithm
Adaboost算法并行硬件架构研究与FPGA验证
12.
You may check the properties of already installed hardware or add a new hardware device.
您可以验证已经安装的硬件的属性或添加一个新硬件设备。
13.
Development and HIL Validation of ABS ECU for Commercial Vehicle;
商用车ABS系统ECU的开发及硬件在环验证
14.
HW/SW Co-Verification Platform Research for MPSOC;
面向多处理器核SOC的软硬件协同验证平台研究
15.
Software/Hardware Co-design andFPGA Verification ofIEEE Std. 802.11b MAC;
无线局域网MAC控制器的软硬件设计及验证
16.
Formal Verification of Digital Hardware Based on HOL;
基于高阶逻辑系统HOL的数字硬件形式化验证
17.
SoC Software and Hardware Co-design Verification Based on Multi-operating System
基于多操作系统的SoC软硬件协同设计验证
18.
The Design and Implementantion of AMBA2.0 in MPEG2-DECODER IC and Co-Simulation
AMBA2.0在MPEG-2 DECODER芯片中的实现及软硬件协同验证