覆盖率驱动的VLSI功能验证理论与方法

以建立覆盖率驱动的VLSI功能验证的理论框架体系为目标，以覆盖率驱动为核心，以可覆盖性分析与设计理论为基础，突破模拟验证和形式验证中使用统一的功能覆盖模型和覆盖率分析信息进行自动验证的理论与方法。研究VLSI可覆盖性设计理论与可覆盖性分析方法，重点突破基于静态分析和模型检验技术的可覆盖性分析理论；基于时态逻辑，建立功能覆盖模型，研究功能覆盖分析方法和基于功能覆盖反馈信息的自动功能属性挖掘理论；研究基于机器学习和数据挖掘的覆盖率驱动的模拟矢量自动生成方法，为模拟矢量生成器自动提供基于覆盖率分析的约束；研究基于符号执行和功能覆盖率模型，以RTL对行为级设计的功能实现上的覆盖率为度量，进行高层等价性检查的理论与方法。.本项目提出的覆盖率驱动的VLSI功能验证理论与方法，能有效提高设计质量，缩短设计周期，对促进支持我国自主版权集成电路芯片的设计验证，提高我国电子设计自动化水平有重大意义。