曙光5000芯片组系统级功能验证平台

摘要：

曙光5000芯片组是曙光5000 计算单元中的系统控制器,它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性,为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模,通过对本地计算单元的系统软件行为、硬件平台功能以及远程计算单元的网络行为进行模拟,提供了接近真实系统的验证环境。在曙光5000芯片组的验证过程中,SVP发现并排除了逻辑设计中的大多数功能错误,通过并行验证加速了验证覆盖率的收敛过程。

关键词： 芯片组 功能验证 逻辑设计 控制器 分层结构

作者: 刘涛 王凯 李晓民 安学军

作者单位: 中国科学院计算技术研究所,北京,100190;中国科学院计算机系统结构重点实验室,北京,100190;中国科学院研究生院,北京,100049 中国科学院计算技术研究所,北京,100190;中国科学院计算机系统结构重点实验室,北京,100190

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 37-39,44

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）