SOC系统级功能验证关键技术研究

SOC系统级功能验证已成为SOC系统设计周期的瓶颈。本项目确立按统一验证视图和验证信息共享思路建立有效融合各种验证方法和技术的理论框架，在理论和实践上对SOC系统级功能验证取得突破。本项目将设计统一的SOC系统级描述语言；提出SOC系统级测试程序自动生成算法；研究SOC系统级功能覆盖率自动分析技术；研究形式化验证技术对SOC系统级测试程序自动生成和功能覆盖率分析的指导技术。研究基于高层测试生成技术的断言限界模型检验技术；研究模型检验算法优化技术；研究利用模拟信息加速形式化验证的方法和技术。建立SOC系统中IP核之间、软硬件接口和协议的统一形式化模型；研究接口和协议的形式化验证技术。并建立SOC系统级功能验证原型系统。.本项目提出和建立的SOC系统级功能验证理论框架和关键技术，能解决现有SOC系统级复合功能验证的主要问题，有效突破SOC系统级功能验证的瓶颈。