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

Methodology for Software/Hardware Co-verification Based on RTOS

作　　者：王锦[1] 刘鹏[1] 

机构地区：[1]浙江大学信息与电子工程系,杭州310027

出　　处：《计算机工程》2004年第18期184-186,共3页Computer Engineering

基　　金：国家高技术研究发展专项基金资助项目(2002AA1Z1140);浙江省重大科技基金资助项目(021101559)

摘　　要：根据处理器芯片的特点,提出了一种基于RTOS的软硬件协同验证方法,该方法在RTOS的基础上建立了一个可移植的协同验证 环境。在处理器芯片设计阶段,通过建立一个与芯片相近的硬件平台,在其上利用协同验证环境先验证软件设计的正确性,然后把这些正确的软件放入由处理器芯片构成的协同验证环境中验证设计的芯片。采用这种方法,不仅可以验证处理器芯片设计的正确性,减少错误存在的可能性,而且缩短了芯片验证的时间。The paper presents a methodology for software/hardware co-verification based on RTOS according to the characteristic of the media processor chip. A co-verification platform based on RTOS is the basic and vital elements in this methodology and could be migrated easily. In the phase of chip design, a software verification platform is built whose hardware is close to the chip.The correctness of software is verified in this co-verification platform, then the correctness of chip is verified by using this correct software in the hardware verification platform. Adopting this methodology, it can not only verify the correctness of the chip and reduce the possibility of the errors in the chip, but also shorten the co-verification time.

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]