曙光5000网络接口控制器原型的功能验证

摘要：

网络接口控制器是曙光5000芯片组中最重要的组成部分之一,它将处理节点和互连网络连接了起来。在对网络接口控制器的功能验证中,使用了灰盒子验证模型和功能强大的SystemVerilog设计验证语言。通过对网络接口控制器和激励的模拟,功能验证发现并排除了逻辑设计中存在的大多数错误.验证过程中对覆盖率的分析,为网络接口控制器功能验证的深入起了指导性的作用。此外,验证过程中得到的带宽、异步时钟频率比等数据,将为网络接口控制器、乃至整个系统的进一步设计提供了参考。

关键词： 网络接口控制器 功能验证 SystemVerilog语言 覆盖率 模拟仿真

作者: 王凯 李晓民 安学军

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

会议类型: 国内会议

会议名称: 2007年全国高性能计算学术年会

会议地点: 深圳

会议语种:中文

页码: 59-64

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