从行为级到版图级的设计验证与测试生成

研究行为级、逻辑级、电路级和版图级设计验证的形式化方法和非形式化方法；研究能反映SOC重要指标（如功耗、互连线延迟、串扰等）的新型故障模型和电路模型；研究针对新模型的故障模拟技术、测试生成算法、可验证性分析和设计方法；为解决数-模混合电路测试、软-硬件协同测试、可复用芯核测试中的核心科学问题提供创新方法和关键技术。