基于环境的模型驱动SoC功能验证理论与方法

模型驱动的SoC设计方法学已成为热点和趋势，由此对SoC功能验证提出了新的挑战。本项目以环境、SoC设计和功能正确性要求三者之间的辨证关系为基础，以统一描述模型、环境建模和功能属性描述为核心，在验证方法的理论和技术上取得突破，建立模型驱动的SoC功能验证理论体系。本项目将设计统一的描述模型，建立其语义和相关算法；研究模型抽象技术；研究环境建模方法和技术；提出支持各设计层次的属性描述方法和功能属性自动生成方法；研究环境背景下，基于模型的覆盖率驱动验证方法、面向方面（Aspect）和功能属性的行为级、事务级测试生成方法。研究环境背景下，基于模型的高层等价性检查方法；研究基于静态分析、运行时动态监控的复合形式化验证方法。建立模型驱动的SoC功能验证系统原型。.本项目提出和建立的模型驱动的SOC功能验证理论框架和关键技术，能解决新的SOC设计方法所带来的功能验证的挑战，突破SoC功能验证的瓶颈。