全面验证片上多核处理器：技术、工具及方法研究

项目名称： 全面验证片上多核处理器：技术、工具及方法研究

项目编号： No.61050002

项目类型： 专项基金项目

立项/批准年度： 2011

项目学科： 无线电电子学、电信技术

项目作者： 沈海华

作者单位： 中国科学院计算技术研究所

项目金额： 30万元

中文摘要： 片上多核处理器超大的设计规模和复杂的实际结构对处理器验证提出了巨大挑战，当前片上多核处理器验证问题在国内外都是一个令人困扰的难题。本项目全方位就片上多核处理器验证的关键技术、工具及方法开展研究，具体包括：开展支持片上多核处理器的随机测试向量生成技术、覆盖率驱动处理器仿真验证技术、功能覆盖率建立分析技术、多级参考模型建立技术、正确性检测技术、形式化验证技术、多指令集支持的随机仿真验证技术、硅后可调试性设计技术、硅后随机验证技术以及低功耗设计验证技术等一系列关键技术以及片上多核处理器验证管理流程方法的研究，全面解决目前片上多核处理器验证中存在的各种困难及面临的各种科学问题，并将研究成果融入和实现在一系列验证工具和平台上，所实现的系列工具和平台将在验证科学领域达到国际先进水平，在实践上可以满足国内低成本设计验证环境下CMP处理器验证的需求，并直接应用于国产CMP处理器验证实践。

中文关键词： 片上多核处理器；验证；模拟仿真；硅后验证；

英文摘要：

英文关键词： chip multi-core processor；verification；simulation；post-silicon verification；