中科SoC通用验证平台及验证方法学研究

些查型垫盔堂塑：！堂堡堡兰！！曼竺壁Ｖｅｒｉｆｉｃａｔｉｏｎ）、等价性检查（ＥｑｕｉｖａｌｅｎｔＣｈｅｃｋｉｎｇ）、静态时序分析、时序验证（ＳｔａｔｉｃＴｉｍｉｎｇＡｎａｌｙｓｉｓ＆ＴｉｍｉｎｇＶｅｒｉｆｉｃａｔｉｏｎ）以及物理验证（ＰｈｙｓｉｃａｌＶｅｒｉｆｉｃａｔｉｏｎ）等。

３．２．Ｉ验证计划

圈３．】ＳｏＣ验证流程图

Ｆｉｇ．３．１ＴｈｅｖｅｆｉｃａｔｉｏｎｆｌｏｗｏｆＳｏＣ

验证计划（ＶｅｒｉｆｉｃａｔｉｏｎＰｌａｎ）是ＳｏＣ验证的第一步，验证计划的质量是一款ＳｏＣ成功与否的关键之一。验证计划是验证工作的说明书，也是最终验证报告的一部分。它是用来定义如何来验证一个设计的。一个完整的验证计划主要包括以下内容：１）对模块和顶层的测试策略；

２）组成Ｔｅｓｔｂｅｎｃｈ的各个组件的定义和规范，如ＢＦＭ等：

３）用到的验证工具和流程；

４）仿真环境的定义和搭建；

５）关键的验证点；

６）验证工作结束的标准。

一个高质量的验证计划使得验证工程师可以更早的并行的开发验证环境，尽早给验证团队一个明确的目标，也是保证验证可重用的关键。为了得到一个高质量的验证计划，验证工程师要正确和充分的理解设计需求和规范，要与设计工程师及时的交互，这样才能保证验证验证计划的易读、易用和可重用。因此可以说一个好的验证计划可以有效提