关于验证计划 Verification Test plan 的那些事儿

什么是验证计划 ?

验证计划应包含哪些细节?

为什么它在功能验证中如此重要? 

验证计划是验证工程师根据设计规范制定描述验证过程的文档。验证计划的目标是在可控的时间范围内完成最高质量的验证

By failing to prepare you are preparing to fail

– Benjamin Franklin

如果没有好好准备,那就准备好失败吧!

 

下文分为以下几个类别讲述验证计划相关的内容: 

1、验什么?

2、如何验 ?

3、何时验 ?

4、如何确保验证质量 ?

1、验什么?

验证计划应列出要验证的所有设计特征以及这些功能特性相关的设计配置 。并非所有这些功能/配置都需要单独的测试。大多数情况下,这些特性和配置需要结合起来进行测试。这时,受约束随机的验证策略就是一个很好的选择。

除了端到端的功能特性之外,还需要测试特定微体系结构的特性(白盒验证),包括各种接口属性、状态机、fifos、仲裁和其他逻辑块。 


2、如何验? 

一旦在验证计划中明确了需要验证的内容,下一步是决定如何更好地验证每个项目。根据设计的类型和需要验证的内容需要采用不同的验证方法、施加不同的激励以及进行不同类型的不同类型的检查等。

大多数功能验证都使用EDA仿真验证覆盖率驱动的受约束随机的验证方法。当然,根据设计的特性也会采用formal 验证或者加速器验证等技术。

如何控制约束、如何更高效地收集覆盖率也都是学问

在验证计划中还应决定确保功能正确性的检查机制,例如实时比对、端到端比对、嵌入式断言等。

关于要验什么和如何验的细节是构建良好的验证平台所需的必要条件,并且应该使用各种层次框图进行检视

3、何时验

每个验证项目都有一个deadline。然而事实上, 总会有更多的内容需要验证。验证计划应包含完整执行验证项目的工作量评估——包括开发验证测试台组件、测试用例、冒烟和回归、覆盖率分析、调试和质量活动完成所需的时间。

根据工作量估计,通常也会将要验证的各种特征/配置分类为至少三个优先级(如高、中、低)。这有助于在项目执行时间期间做出明智的取舍决策。

4、如何确保验证质量 ?

在制定验证计划时,并不是一定需要一开始就是完美的,验证计划需要不断地更新。在项目验证开展的周期内需要验证工程师、设计工程师和其他专家多次共同参与验证计划的检视

  • 2
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值