HPP交换芯片逻辑验证设计

摘要：

HPP交换芯片,作为曙光5000系统互联网络的重要组成部件,同时具有单播,多播和同步功能,此外还能够支持带外监控和配置管理功能.芯片功能的增加带来了芯片面积增大和状态空间急剧膨胀,大大增加芯片验证难度.本文重点讨论了HPP交换芯片验证过程中采用的高级验证方法,并提出加快功能验证的策略.

关键词： HPP交换芯片 功能验证 逻辑验证 覆盖率

作者: 王达伟 刘力轲 刘兴奎

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

会议类型: 国内会议

会议名称: 第十二届计算机工程与工艺全国学术年会(NCCET”08)

会议地点: 呼和浩特

会议语种:中文

页码: 354-357

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