片上多核处理器验证理论与关键技术

项目名称： 片上多核处理器验证理论与关键技术

项目编号： No.61133007

项目类型： 重点项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 郭阳

作者单位： 中国人民解放军国防科学技术大学

项目金额： 270万元

中文摘要： 针对片上多核处理器验证中设计规模大、验证效率低、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题，研究突破片上多核处理器高层次建模与多视图协同验证方法、面向事务层与系统层的高效形式验证引擎优化方法、基于SMT的片上网络可验证性综合、基于二维抽象的存储一致性协议验证、事务级模型与RTL描述的等价性验证、半形式化的全芯片模拟验证、硅后验证辅助技术等理论与关键技术，建立高层次、可扩展的片上多核处理器高层次验证理论方法体系，实现支持片上多核处理器验证的系列工具原型，有效提高片上多核处理器验证效率、完备性和可信性，并将研究成果直接应用于"银河飞腾"系列多核CPU与DSP的验证实践。 所研究建立的模型、理论框架、方法在验证科学领域达到国际领先水平，为我国自主高性能微处理器的可持续发展奠定坚实基础。

中文关键词： 集成电路；验证；形式验证；微处理器；

英文摘要：

英文关键词： Integrated Circuit；Verification；Formal Verification；Microprocessor；