嵌入式系统软硬件协同验证中软件验证方法

作     者：王世好 王歆民 刘明业 Wang Shihao;Wang Xinmin;Liu Mingye

作者机构：北京计算机技术及应用研究所北京100854 北京理工大学ASIC研究所北京100081 

基　　金：国防基础科研基金项目(J1400B006)军用微电子基金项目(41308010408) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2005年第42卷第3期

页      码：514-519页

摘      要：随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中。该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.

主 题 词：嵌入式系统 协调设计 协同验证 模拟 RTOS 

学科分类：0810[工学-土木类] 0711[理学-心理学类] 0808[工学-自动化类] 07[理学] 0839[0839] 08[工学] 0835[0835] 081101[081101] 0811[工学-水利类] 0812[工学-测绘类] 071102[071102] 081103[081103] 

核心收录：

D　O　I：10.1360/crad20050322

馆 藏 号：203387150...