片上多核处理器验证:挑战、现状与展望

摘要：

随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题,系统地总结了片上多核处理器模拟验证、硬件仿真、形式验证、硅后验证等方面的研究进展,并对该领域未来的发展方向进行了分析与展望.

关键词：片上多核处理器、模拟验证、形式验证、片上网络、集成电路

所属期刊栏目：24

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学基金重点项目61133007

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

页数：共12页

页码：1521-1532