摘要
嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟 指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口 指令集模拟的主要特点是模拟精度高 ,但模拟速度慢 ,对于不同的CPU结构需要构造不同的指令集模拟器 文中研究一种基于RTOS实时嵌入式系统行为验证模型 ,通过扩展RTOS功能 ,建立RTOS软件模拟器 ,实现RTOS模拟器和VHDL/VerilogHDL协同模拟交互 RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开 ,实现嵌入式软件设计与硬件平台的弱相关 。
There are several means to verify target system function in hardware/software co-design field. Instruction set simulator (ISS) is widely used due to its ability to accurately simulate target CPU at low level. As virtual CPU is running in host machine, ISS simulates target instruction set at bus cycle or instruction cycle, so it is usually very time consuming. A fast behavioral verification model with real time operating system(RTOS) approach is presented, and the mechanism of verification is described in full detail to illustrate how the model works correctly. The RTOS simulator divides embedded software into three parts, namely the embedded software function code, RTOS hardware interface code and customized ASIC driver code. The customized ASIC driver is responsible to deal with all kinds of request/replay between hardware and software, so that RTOS simulator can communicate with VHDL or Verilog HDL Simulator and realize fast verification.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第1期105-108,115,共5页
Journal of Computer-Aided Design & Computer Graphics
基金
国防基础科研项目 (J14 0 0B0 0 6)
军用微电子项目 (4 13 0 80 10 40 8)资助
关键词
实时嵌入式系统
协调设计
行为验证
指令集模拟
embedded system
co-design
function verification
simulator
real time operating system
