验证计划(vPlan)的目的是为了证明设备实现了所有的验证规格。正确的验证计划意味着拥有一个良好的验证闭环蓝图,如果规划错误,就可能导致 Bug 遗漏、资源浪费,甚至是设备完全失效等问题。事实上,验证计划非常重要,Verisium Manager(前身为 vManager)的整个验证管理学始于 vPlan,也终于 vPlan。Verisium Manager 的 Planning Center 和 vPlan 分析中心提供了所有必要的功能并实现了自动化。随着对人工智能驱动验证的关注日益增长,验证规划的效率和有效性有望得到显著提高。
创建一个好的 vPlan 需要几个关键要素,下面我们将介绍其中几项。
验证收敛需要精确的验证功能点
分而治之(Divide and Conquer)的概念表明,每一个复杂的验证功能点都可以分解为子功能点,而子特征又可以进一步进行分解。Panning Center 使用户能够创建可扩展/折叠的功能点章节,这是保持质量的关键能力。如果不具备这一关键功能,验证质量就会受到影响。
与功能规格紧密对齐
首先,严格遵守功能规格至关重要。任何新功能或对现有功能的更改都应立即更新 vPlan,否则会影响验证质量。Planning Center 允许用户将规范中的段落与 vPlan 关联,并提供任何相应更改的通知,用户就可以根据规范对 vPlan 做出相应的调整。
关联相关指标和 vPlan 定义
一旦定义了 vPlan,就必须将相关指标连接起来,以证明每个功能点已被验证。这可能需要结合使用代码覆盖率、功能覆盖率或定向测试来提供保证,而 Planning Center 使这些指标与 vPlan 直接关联 ,否则不能保证全部功能点的充分验证。
实时结果显示
为有效监测验证进度并对需要关注的领域迅速做出反应,vPlan 需要实时动态地反映结果,以准确衡量进度,集中分配资源。延迟的结果可能导致在非优先领域浪费项目时间。Verisium Manager 的 vPlan Analysis 可自动执行该流程,使用户能够查看相关回归的实时 vPlan 状态。
据我们的客户分享,vPlan 的质量对项目成果有重大影响,我们需要优先创建更高质量的 vPlan,而不仅仅关注速度。
全面的验证计划是 ASIC 验证成功的关键。验证重用对于 SoC 的生产力和效率至关重要,而高质量的 vPlan 是朝着这个方向迈出的第一步。如果您是一名验证工程师,可以为您的下一个项目制定一份详尽的验证计划,这将是您为项目成功所做的最佳投资之一。