曙光5000芯片组系统级功能验证平台
文献类型：期刊论文
| 作者 | 刘涛; 王凯; 李晓民; 安学军 |
| 刊名 | 计算机工程与科学
 |
| 出版日期 | 2009 |
| 卷号 | 31.0期号:011页码:37 |
| 关键词 | 芯片组 功能验证 建模 模拟 覆盖率 |
| ISSN号 | 1007-130X |
| 英文摘要 | 曙光5000芯片组是曙光5000计算单元中的系统控制器，它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性，我们为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模，通过对本地计算单元的系统软件行为、硬件平台功能以及远程计算单元的网络行为进行模拟，提供了接近真实系统的验证环境。在曙光5000芯片组的验证过程中，SVP发现并排除了逻辑设计中的大多数功能错误，通过并行验证加速了验证覆盖率的收敛过程。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/31515]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。