嵌入式协调设计中的系统级验证方法及应用

作     者：范彧 王世好 FAN Yu;WANG Shi-hao

作者机构：中央民族大学数学与计算机学院北京100081 北京计算机技术及应用研究所北京100854 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2006年第27卷第14期

页      码：2698-2701页

摘      要：协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提高了复杂嵌入式系统的验证速度,并通过某图像压缩系统的验证实例,说明该验证方法的有效性。

主 题 词：嵌入式系统 协同模拟 模拟器 实时操作系统 指令集模拟器 系统级验证 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 081101[081101] 0811[工学-水利类] 071102[071102] 081103[081103] 

D　O　I：10.3969/j.issn.1000-7024.2006.14.061

馆 藏 号：203128551...