01
断言基础
什么是断言？断言在验证中的角色，断言与覆盖率的关系。
核心概念入门
02
SVA语法入门
SVA的基本结构，序列(sequence)与属性(property)，蕴含操作符(|->, |=>)。
SVA语法
03
断言覆盖率概念
什么是断言覆盖率？为什么它比代码覆盖率更重要？覆盖率驱动的验证方法论。
覆盖率方法论
04
断言覆盖率类型
触发覆盖率、状态覆盖率、序列覆盖率、交叉覆盖率。
分类指标
05
覆盖率收集工具
主流EDA工具覆盖率收集机制（VCS, Questa, Xcelium），覆盖率数据库管理。
EDA工具链
06
编写可覆盖的断言
断言密度与覆盖率的平衡，避免冗余断言，断言的可观测性设计。
设计技巧可观测性
07
断言覆盖率分析
如何分析覆盖率报告，识别未覆盖的边界情况，覆盖率收敛策略。
分析收敛
08
覆盖率驱动的断言开发
从覆盖率目标反推断言设计，基于覆盖点的断言生成。
驱动开发反推
09
断言与功能覆盖点结合
cover property与cover group的协同，断言覆盖与功能覆盖的互补。
cover property协同
10
断言覆盖率在IP验证中的应用
IP级断言覆盖率计划，复用断言库的覆盖率管理。
IP验证复用
11
断言覆盖率在SoC验证中的应用
SoC级断言覆盖率挑战，跨时钟域断言覆盖。
SoC跨时钟域
12
断言覆盖率在低功耗验证中的应用
电源域切换时的断言覆盖，低功耗序列覆盖。
低功耗电源域
13
断言覆盖率在形式验证中的应用
形式验证中的断言覆盖，穷举覆盖与动态覆盖的差异。
形式验证穷举
14
断言覆盖率在仿真加速中的应用
硬件加速中的断言覆盖，覆盖率数据同步。
加速硬件
15
断言覆盖率回归管理
回归测试中的覆盖率合并，增量覆盖率分析，覆盖率门限设置。
回归门限
16
断言覆盖率与验证计划对齐
将覆盖率目标映射到验证计划，覆盖率驱动的验证完成标准。
计划完成标准
17
断言覆盖率调试技巧
低覆盖率根因分析，断言死锁检测，覆盖率空洞定位。
调试根因
18
断言覆盖率优化
减少仿真时间的同时保持覆盖率，断言采样率优化，覆盖率过滤。
优化采样率
19
断言覆盖率在随机验证中的应用
随机激励下的断言覆盖，约束求解器与覆盖率的互动。
随机约束求解
20
断言覆盖率在定向测试中的应用
定向测试的断言覆盖补充，边界值覆盖。
定向测试边界
21
断言覆盖率在协议验证中的应用
协议时序断言覆盖，总线协议覆盖率模型。
协议总线
22
断言覆盖率在安全验证中的应用
安全属性断言覆盖，故障注入与覆盖率。
安全故障注入
23
断言覆盖率在性能验证中的应用
性能断言覆盖，延迟与吞吐量覆盖。
性能延迟
24
断言覆盖率在DFT验证中的应用
扫描链断言覆盖，测试模式覆盖率。
DFT扫描链
25
断言覆盖率在FPGA验证中的应用
FPGA原型验证中的断言覆盖，硬件调试与覆盖率。
FPGA原型
26
断言覆盖率在混合信号验证中的应用
模拟域与数字域交互的断言覆盖。
混合信号交互
27
断言覆盖率在UVM中的应用
UVM中的断言集成，sequence与assertion的协同覆盖。
UVMsequence
28
断言覆盖率自动化
脚本化覆盖率分析，自动化断言生成与覆盖报告。
自动化脚本
29
断言覆盖率最佳实践
团队协作中的覆盖率管理，覆盖率评审流程，覆盖率驱动的验证签收。
最佳实践评审
30
断言覆盖率未来趋势
AI辅助断言生成，机器学习在覆盖率分析中的应用，断言覆盖率标准化。
AI趋势