| 嵌入式协调设计中的系统级验证方法及应用 |
| |
| 引用本文： | 范彧,王世好.嵌入式协调设计中的系统级验证方法及应用[J].计算机工程与设计,2006,27(14):2698-2701. |
| |
| 作者姓名： | 范彧 王世好 |
| |
| 作者单位： | 1. 中央民族大学,数学与计算机学院,北京,100081
2. 北京计算机技术及应用研究所,北京,100854 |
| |
| 摘 要： | 协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢，通常成为复杂嵌入式系统协同验证的瓶颈，因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法，提高了复杂嵌入式系统的验证速度，并通过某图像压缩系统的验证实例，说明该验证方法的有效性。
|
| 关 键 词： | 嵌入式系统 协同模拟 模拟器 实时操作系统 指令集模拟器 系统级验证 |
| 文章编号： | 1000-7024（2006）14-2698-04 |
| 收稿时间： | 2006-03-20 |
| 修稿时间： | 2006-03-20 |
System-level co-verification and its application |
| |
| FAN Yu,WANG Shi-hao.System-level co-verification and its application[J].Computer Engineering and Design,2006,27(14):2698-2701. |
| |
| Authors: | FAN Yu WANG Shi-hao |
| |
| Affiliation: | 1,School of Mathematical and Compute Science, Central University of Nationality, Beijing 100081, China; 2. Beijing Institute of Computer Technology and Application, Beijing 100854, China |
| |
| Abstract: | Simulator is an effective means of co-design and co-verification in embedded hardware/software mixed system.Instruction set simulator(ISS) is a popular verifying tool,which accepts inquest from outside,outputs simulating result,drives peripheral equipment,justlike target processor.However,the simulation speed of ISS is so slow thatitcan notapplied in the design ofcomplicated systems.In order to simplify the processes of co-verification and improve the performance of simulation,a new co-verifying strategy is developed,which is based on interface pre-verification and a multi-level system structure.At last,the method is applied in an image compression application.The result demonstrates the validity of this method. |
| |
| Keywords: | embedded system co-simulation simulator RTOS ISS the system-levelverification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
