Institute of Computing Technology, Chinese Academy IR
曙光5000芯片组系统级功能验证平台 | |
刘涛; 王凯; 李晓民; 安学军 | |
2009 | |
发表期刊 | 计算机工程与科学 |
ISSN | 1007-130X |
卷号 | 31.0期号:011页码:37 |
摘要 | 曙光5000芯片组是曙光5000计算单元中的系统控制器,它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性,我们为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模,通过对本地计算单元的系统软件行为、硬件平台功能以及远程计算单元的网络行为进行模拟,提供了接近真实系统的验证环境。在曙光5000芯片组的验证过程中,SVP发现并排除了逻辑设计中的大多数功能错误,通过并行验证加速了验证覆盖率的收敛过程。 |
关键词 | 芯片组 功能验证 建模 模拟 覆盖率 |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://119.78.100.204/handle/2XEOYT63/31516 |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 中国科学院计算技术研究所 |
第一作者单位 | 中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 刘涛,王凯,李晓民,等. 曙光5000芯片组系统级功能验证平台[J]. 计算机工程与科学,2009,31.0(011):37. |
APA | 刘涛,王凯,李晓民,&安学军.(2009).曙光5000芯片组系统级功能验证平台.计算机工程与科学,31.0(011),37. |
MLA | 刘涛,et al."曙光5000芯片组系统级功能验证平台".计算机工程与科学 31.0.011(2009):37. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[刘涛]的文章 |
[王凯]的文章 |
[李晓民]的文章 |
百度学术 |
百度学术中相似的文章 |
[刘涛]的文章 |
[王凯]的文章 |
[李晓民]的文章 |
必应学术 |
必应学术中相似的文章 |
[刘涛]的文章 |
[王凯]的文章 |
[李晓民]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论