基于软硬件协同验证的软件仿真调试模型  

Simulation and debugging model of the software based on the co-verification of hardware and software

作　　者：徐阳[1] 周亦敏[2] 

机构地区：[1]上海理工大学光电信息与计算机工程学院,上海200093 [2]上海理工大学信息化办公室,上海200093

出　　处：《信息技术》2014年第2期140-143,147,共5页Information Technology

摘　　要：文中介绍了软硬件协同验证的原理及流程,把软件作为硬件激励进行验证可以在实际的工作环境中来模拟设计,更为充分有效地验证硬件,也避免了编写测试代码验证设计中的典型应用。但是使用软件驱动的验证,还需要解决软件的调试问题。文中利用可执行文件中的调试信息,将软件源文件和硬件仿真产生的波形文件连接起来,进行软硬件协同仿真,并且通过对仿真波形中信号分析进行软件调试。This paper introduces the theory and process of the hardware and software co-verification, the software can be verified as a hardware excitation in the actual work environment to simulate the design, more fully and vahd verify hardware, also to avoid to write test code verify typical application. But using software verification, needs to resolve the problem of software debugging. This paper, uses the debugging information in the executable file, links the software source files and waveform files that generated by the hardware simulation, to run hardware and software co-simulation, and through the signal value in the simulation waveform to analysis for software debugging.

关 键 词：软硬件协调仿真 DWARF ELF 调试 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]