VIP20
本课程属于:033-覆盖率分析 芯片设计与FPGA · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

覆盖率分析全流程实战精讲

📚 共计 30 章节
01
覆盖率基础概念
什么是覆盖率、为什么需要覆盖率、覆盖率的分类(代码覆盖率、功能覆盖率、断言覆盖率)
入门核心
02
代码覆盖率详解
行覆盖率、分支覆盖率、条件覆盖率、状态机覆盖率、翻转覆盖率
代码结构
03
功能覆盖率入门
功能覆盖点的定义、仓(bin)的概念、覆盖组(covergroup)的基本结构
功能基础
04
SystemVerilog 覆盖组语法
covergroup 声明、coverpoint 使用、bin 的创建与自动推导
SV语法
05
bin 的高级用法
自定义 bin、条件 bin、忽略 bin、非法 bin、交叉覆盖率
进阶bin
06
交叉覆盖率实战
cross 语法、交叉覆盖率的权重、排除无效交叉项
交叉实战
07
覆盖率收集选项
option.per_instance、option.weight、option.at_least、option.auto_bin_max
配置option
08
覆盖率事件控制
触发事件(trigger event)、采样时机、与时钟的关系
事件时序
09
覆盖率数据导出
使用 $coverage_merge、$coverage_save、$coverage_report 等系统函数
系统函数导出
10
覆盖率数据库管理
UCDB 格式、vdb 格式、合并多个仿真结果
数据库合并
11
覆盖率驱动的验证流程
从测试计划到覆盖率闭环、覆盖率驱动的测试用例生成
流程方法论
12
覆盖率分析工具介绍
VCS 的 urg 命令、IES/Simvision 的覆盖率查看、Questa 的 coverage report
工具VCS
13
urg 命令实战
生成 HTML 报告、合并报告、过滤报告、查看未覆盖区域
urg报告
14
覆盖率报告解读
如何阅读覆盖率摘要、钻取未覆盖代码、分析覆盖盲区
分析解读
15
功能覆盖率建模策略
如何划分覆盖点、覆盖组的设计原则、避免过度覆盖
建模策略
16
断言覆盖率
断言(assertion)的覆盖率收集、SVA 覆盖属性、cover property 的使用
断言SVA
17
覆盖率与随机化
约束随机验证(CRV)中的覆盖率反馈、动态调整随机约束
随机CRV
18
覆盖率收敛技术
如何快速达到覆盖率目标、定向测试与随机测试的平衡
收敛效率
19
覆盖率回归管理
回归测试中的覆盖率合并、增量覆盖率分析、回归效率优化
回归管理
20
覆盖率驱动的测试计划
从验证计划到覆盖点映射、可追溯性矩阵
计划追溯
21
覆盖率分析中的常见陷阱
过度覆盖、覆盖盲区、无效覆盖、覆盖冗余
陷阱避坑
22
覆盖率与验证完备性
如何用覆盖率衡量验证进度、覆盖率与 bug 率的关系
完备性度量
23
覆盖率在 IP 验证中的应用
IP 级覆盖率收集、重用时的覆盖率合并
IP重用
24
覆盖率在 SoC 验证中的应用
SoC 级覆盖率集成、跨模块覆盖率分析
SoC集成
25
覆盖率与低功耗验证
低功耗场景下的覆盖率收集、电源域交叉覆盖率
低功耗电源域
26
覆盖率与形式化验证
形式化验证中的覆盖率、覆盖属性与形式化引擎的结合
形式化属性
27
覆盖率与仿真加速
仿真加速器中的覆盖率支持、硬件加速下的覆盖率收集
加速硬件
28
覆盖率自动化脚本
Python/Perl 脚本解析覆盖率报告、自动生成覆盖率总结
脚本自动化
29
覆盖率最佳实践
团队协作中的覆盖率标准、覆盖率评审流程、覆盖率门禁
最佳实践团队
30
覆盖率分析全流程实战案例
一个完整的从测试计划到覆盖率收敛的案例讲解
实战案例