嵌入式协调设计中的系统级验证方法及应用
System-level co-verification and its application作者机构：中央民族大学数学与计算机学院北京100081 北京计算机技术及应用研究所北京100854
出 版 物：《计算机工程与设计》 (Computer Engineering and Design)
年 卷 期：2006年第27卷第14期
页 面：2698-2701页
学科分类：0711[理学-系统科学] 07[理学] 08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 071102[理学-系统分析与集成] 081103[工学-系统工程]
主 题：嵌入式系统 协同模拟 模拟器 实时操作系统 指令集模拟器 系统级验证
摘 要：协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提高了复杂嵌入式系统的验证速度,并通过某图像压缩系统的验证实例,说明该验证方法的有效性。
维普期刊数据库
同方期刊数据库