ANSI-C bounded model checker and hardware verification using CBMC;
ANSI-C语言的有界模型检测及其在硬件验证中的应用
The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.
随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
With respect to the verification bottleneck of current digital ASICs design and for the purpose of describing and verifying design object in a higher abstract level,a software/hardware co-verification method is presented,the method is based on processor core model of SystemC and others model of Verilog.
针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。
A number of vertex processing unit programs on the platform had been run using software/hardware co-verification methods.
在该平台上,采用软硬件协同验证的方法,成功地运行了多个顶点处理器程序。
Implementation of efficient debug in virtual prototyping based on hardware/software co-verification;
基于虚拟原型机的软/硬件协同验证中高效调试手段的实现
To reduce the time to set up test bench and improve the verification efficiency a new language-Hardware Verification Language (HVL) is presented.
为了缩短验证环境设计时间、提高验证效率,人们提出了一种新的语言——硬件验证语言 (Hardware Verification Language,HVL)。
USB IP Verification Based on the Hardware Verification Language JEDA;
基于硬件验证语言JEDA的USB IP核验证
Design and Verification of an On-Board Reconfigurable Computer SoC;
星载可重构计算机系统集成与软硬件验证研究
SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;
硬件系统SystemC～（FL）设计模型的SPIN验证
The Hardware Design and Verification of OOB Mode(A) Transport System in CableCARD;
CableCARD中OOB Mode（A）传输系统的硬件设计及验证
Hardware/Software Co-verification Solution Based on FPGA and ISS
基于FPGA和ISS的软硬件协同验证技术
Study on the Vector-based SW/HW Cosimulation Method
Vector模式软硬件协同仿真验证方法研究
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
Design of HW/SW Co-verification Platform for SoC
面向SoC的软硬件协同验证平台设计
A SoC Hardware/Software Co-Verification Platform Based on PowerPC Processor
基于PowerPC的SoC软硬件协同验证平台
High Effecient Software and Hardware Co-verification Platform for Cable Modem SOC Design
一种高效Cable Modem SOC软硬件协同验证平台
Parallel architecture design and FPGA verification of hardware adaboost algorithm
Adaboost算法并行硬件架构研究与FPGA验证
You may check the properties of already installed hardware or add a new hardware device.
您可以验证已经安装的硬件的属性或添加一个新硬件设备。
Development and HIL Validation of ABS ECU for Commercial Vehicle;
商用车ABS系统ECU的开发及硬件在环验证
HW/SW Co-Verification Platform Research for MPSOC;
面向多处理器核SOC的软硬件协同验证平台研究
Software/Hardware Co-design andFPGA Verification ofIEEE Std. 802.11b MAC;
无线局域网MAC控制器的软硬件设计及验证
Formal Verification of Digital Hardware Based on HOL;
基于高阶逻辑系统HOL的数字硬件形式化验证
SoC Software and Hardware Co-design Verification Based on Multi-operating System
基于多操作系统的SoC软硬件协同设计验证
The Design and Implementantion of AMBA2.0 in MPEG2-DECODER IC and Co-Simulation
AMBA2.0在MPEG-2 DECODER芯片中的实现及软硬件协同验证