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

• 作者: 刘鹏 王锦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 系统集成芯片 软硬件协同验证 实时操作系统
• 年，卷（期）: 2004,（18）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 184-186
• 页数: 3页
• 分类号: TP311.52
• 字数: 4272字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.18.070

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘鹏	浙江大学信息与电子工程系	78	817	15.0	26.0
2	王锦	浙江大学信息与电子工程系	3	12	1.0	3.0