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

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

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