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

• 作者: 刘涛 安学军 李晓民 王凯
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 芯片组 功能验证 建模 模拟 覆盖率
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 高性能计算机体系结构
• 页码范围: 37-39,44
• 页数: 4页
• 分类号: TP302
• 字数: 3087字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.11.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王凯	中国科学院计算技术研究所	114	1762	21.0	40.0
10	刘涛	中国科学院计算技术研究所	145	871	16.0	22.0
19	李晓民	中国科学院计算技术研究所	5	29	3.0	5.0