作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2004, Vol. 30 ›› Issue (09): 49-51.

• 论文 • 上一篇    下一篇

嵌入式系统软硬件协同模拟验证环境设计与实现

严迎建,王世好,刘明业   

  1. 北京理工大学ASIC研究所,北京理工大学ASIC研究所,北京理工大学ASIC研究所 北京 100081;军信息工程大学电子技术学院,郑州 450004
  • 发布日期:2004-05-15

Design and Implementation of Embedded System Co-verification Environment Based on Simulation

YAN Yingjian1,2, WANG Shihao1, LIU Mingye1   

  1. (1. ASIC Research Institute, Beijing University of Science and Technology, Beijing 100081; 2. School of Electronic Technology, Information Engineering University, Zhengzhou 450004)
  • Published:2004-05-15

摘要: 介绍了一个嵌入式系统软硬件协同模拟验证环境,该环境以指令集模拟器和事件驱动硬件模拟器为基本框架,并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法,最后给出一个嵌入式系统协同验证的应用实例。

关键词: 嵌入式系统, 协同验证, 协同模拟, 指令集模拟器

Abstract: Co-verification plays very important role in hardware/software Co-design of embedded systems. It can validate function of the whole embedded system and predicate system performance before the hardware model is built. This paper presents a hardware/software simulation environment for embedded system co-verification, it combines an event-driven hardware simulator with an instruction set simulator. It discusses the co-simulation interface of the two simulators in detail, and in the end, we present an embedded system co-verification example.

中图分类号: