摘要
该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。
In this paper, author wants to present a new software verification method based on native-compiling technology for embedded system. The method verifies the target system from behavior level, after creating RTOS based software simulator, together with hardware simulator, easily to realize the co-verification for the hardware/software mixed system. At the end of this paper, a co-design example called fifth elliptical filter is put forward to illustrate how to realize the co-verification using the RTOS software simulator.
出处
《电子与信息学报》
EI
CSCD
北大核心
2004年第10期1675-1680,共6页
Journal of Electronics & Information Technology
基金
国家部级资助项目
关键词
嵌入式系统
协同模拟
功能验证
模拟器
实时操作系统
Embedded system
Co-simulation
Function verification, Simulator
Real-Time Operating System (RTOS)
