IC验证之覆盖率

功能覆盖率是衡量设计特征被测试覆盖的指标,通过不断增加覆盖率来优化测试。代码覆盖率关注设计测试的彻底性,但不确保实现设计规范。功能覆盖率与设计意图相关,能发现代码覆盖率遗漏的问题。断言覆盖率用于检查设计信号关系,帮助查找错误,常见于仲裁算法和硬件验证。
摘要由CSDN通过智能技术生成

1.功能覆盖率概述

  • 功能覆盖率是衡量哪些设计特征已经被测试程序测试过的一个指标。
  • 下图展示了如何使功能覆盖率收敛的大体思路。

在这里插入图片描述

  • 若没达到100%覆盖率,但是覆盖率一直在增加,那就继续运行更多随机种子;若已经覆盖率稳定则需要考虑修改约束;只有当修改约束来随机仿真去覆盖特定区域最后的边沿情况会耗费太久的时候,才有必要写定向测试。
  • 如运行不通过,设计中存在漏洞使得仿真失效,则必须丢弃覆盖率指标。

2.覆盖率分类

2.1代码覆盖率

  • 代码覆盖率衡量的是测试对于设计测试的有多彻底,而非针对验证计划。有可能当前的设计并没完全实现设计规范。所以即便达到了100%,也只能说明当前设计都被测试到了,但是无法得知是否完成整个测试计划,更无法得知是否实现设计规范。
  • 工具会自动完成代码覆盖率收集,仿真完毕后相应的数据库会被创建。
  • 分类:
覆盖率类型 含义
语句覆盖率 衡量多少行代码被执行过(行覆盖)
条件覆盖率 运行被测程
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Arist9612

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值