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

王世好; 王歆民; 刘明业

首页> 中文期刊> 《计算机研究与发展》 >嵌入式系统软硬件协同验证中软件验证方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机研究与发展》 |2005年第3期|514-519|共6页
作者
王世好; 王歆民; 刘明业;
展开▼
作者单位

北京计算机技术及应用研究所;

北京;

100854;

北京计算机技术及应用研究所;

北京;

100854;

北京理工大学ASIC研究所;

北京;

100081;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
嵌入式系统; 协调设计; 协同验证; 模拟; RTOS;

相似文献

中文文献
外文文献
专利

1. 片上系统设计中软硬件协同验证方法的研究 [J] . 严迎建 ,刘明业 . 电子与信息学报 . 2005,第002期
2. 嵌入式系统设计中的协同验证方法及应用 [J] . 范彧 . 电子器件 . 2007,第002期
3. 基于Handel-C的软硬件协同验证方法 [J] . 刘舜奎 ,蔡艺军 . 电子技术应用 . 2012,第010期
4. 软硬件协同验证方法的研究 [J] . 刘柏良 . 中国集成电路 . 2012,第001期
5. 一种SOC软硬件协同验证方法的设计 [J] . 吴君钦 ,李艳丽 . 江西理工大学学报 . 2011,第003期
6. 国产关键软硬件兼容适配验证方法研究 [C] . 杨雄军 ,雷洋 ,唐宏 . 全国抗恶劣环境计算机第二十二届学术年会 . 2012
7. 基于TigerX验证平台的软硬件协同验证方法研究 [A] . 赵刚 . 2006

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

摘要

著录项

相似文献

相关主题

期刊订阅