| 片上多核处理器验证:挑战、现状与展望 |
| |
| 引用本文： | 郭阳,李思昆,屈婉霞.片上多核处理器验证:挑战、现状与展望[J].计算机辅助设计与图形学学报,2012,24(12):1521-1532. |
| |
| 作者姓名： | 郭阳 李思昆 屈婉霞 |
| |
| 作者单位： | 国防科学技术大学计算机学院 长沙410073 |
| |
| 基金项目： | 国家自然科学基金重点项目 |
| |
| 摘 要： | 随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题,系统地总结了片上多核处理器模拟验证、硬件仿真、形式验证、硅后验证等方面的研究进展,并对该领域未来的发展方向进行了分析与展望.
|
| 关 键 词： | 片上多核处理器 模拟验证 形式验证 片上网络 集成电路 |
Verification of on-Chip Multi-core Processor: Challenges,Status,Forcasts |
| |
| Guo Yang
,
Li Sikun
,
Qu Wanxia.Verification of on-Chip Multi-core Processor: Challenges,Status,Forcasts[J].Journal of Computer-Aided Design & Computer Graphics,2012,24(12):1521-1532. |
| |
| Authors: | Guo Yang Li Sikun Qu Wanxia |
| |
| Affiliation: | (School of Computer,National University of Defense Technology,Changsha 410073) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
