什么是验证计划 ？
验证计划应包含哪些细节？
为什么它在功能验证中如此重要？
验证计划是验证工程师根据设计规范制定的描述验证过程的文档。验证计划的目标是在可控的时间范围内完成最高质量的验证。
By failing to prepare you are preparing to fail
– Benjamin Franklin
如果没有好好准备，那就准备好失败吧！
下文分为以下几个类别讲述验证计划相关的内容：
1、验什么？
2、如何验？
3、何时验 ？
4、如何确保验证质量？
1、验什么？
验证计划应列出要验证的所有设计特征以及这些功能特性相关的设计配置 。并非所有这些功能/配置都需要单独的测试。大多数情况下，这些特性和配置需要结合起来进行测试。这时，受约束随机的验证策略就是一个很好的选择。
除了端到端的功能特性之外，还需要测试特定微体系结构的特性（白盒验证），包括各种接口属性、状态机、fifos、仲裁和其他逻辑块。
2、如何验?
一旦在验证计划中明确了需要验证的内容，下一步是决定如何更好地验证每个项目。根据设计的类型和需要验证的内容需要采用不同的验证方法、施加不同的激励以及进行不同类型的不同类型的检查等。
大多数功能验证都使用EDA仿真验证和覆盖率驱动的受约束随机的验证方法。当然，根据设计的特性也会采用formal 验证或者加速器验证等技术。
如何控制约束、如何更高效地收集覆盖率也都是学问。
在验证计划中还应决定确保功能正确性的检查机制，例如实时比对、端到端比对、嵌入式断言等。
关于要验什么和如何验的细节是构建良好的验证平台所需的必要条件，并且应该使用各种层次框图进行检视 。
3、何时验
每个验证项目都有一个deadline。然而事实上， 总会有更多的内容需要验证。验证计划应包含完整执行验证项目的工作量评估——包括开发验证测试台组件、测试用例、冒烟和回归、覆盖率分析、调试和质量活动完成所需的时间。
根据工作量估计，通常也会将要验证的各种特征/配置分类为至少三个优先级（如高、中、低）。这有助于在项目执行时间期间做出明智的取舍决策。
4、如何确保验证质量 ？
在制定验证计划时，并不是一定需要一开始就是完美的，验证计划需要不断地更新。在项目验证开展的周期内需要验证工程师、设计工程师和其他专家多次共同参与验证计划的检视 。
作者：XinXinHu
原文链接：https://mp.weixin.qq.com/s/5dyZGhY68NqIt\_SZ9Osl9Q
微信公众号：
授权转自数字芯片实验室公众号，请勿二次转载。
推荐阅读
更多数字IC设计技术干货等请关注数字芯片实验室专栏。
