基于RTOS的软硬件协同验证方法

摘要：

根据处理器芯片的特点,提出了一种基于RTOS的软硬件协同验证方法,该方法在RTOS的基础上建立了一个可移植的协同验证环境.在处理器芯片设计阶段,通过建立一个与芯片相近的硬件平台,在其上利用协同验证环境先验证软件设计的正确性,然后把这些正确的软件放入由处理器芯片构成的协同验证环境中验证设计的芯片.采用这种方法,不仅可以验证处理器芯片设计的正确性,减少错误存在的可能性,而且缩短了芯片验证的时间.

关键词：系统集成芯片、软硬件协同验证、实时操作系统

所属期刊栏目：30

分类号：TP311.52(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AAIZ1140;浙江省科技计划021101559

在线出版日期：2004-10-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：184-186