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

The Embedded System Co-Verification and Its Application

作　　者：范彧[1] 

机构地区：[1]中央民族大学数学与计算机学院,北京100081

出　　处：《电子器件》2007年第2期706-709,共4页Chinese Journal of Electron Devices

摘　　要：协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段.由于精确指令集模拟器模拟的细节多,速度慢,通常成为复杂嵌入式系统协同验证的瓶颈.因此,一种使用接口代理方式的多层次验证方法被提出,以提高复杂嵌入式系统的验证速度.结合某图像压缩系统的验证实例,说明该验证方法的有效性.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.However,the simulation speed of ISS is so slow that it can not applied in the design of complicated 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 substitute and a multi-level system structure.The method applied in an im...

关 键 词：嵌入式系统 协同模拟 模拟器 RTOS 

分 类 号：TP36[自动化与计算机技术—计算机系统结构]