01
断言基础
什么是断言？断言在验证中的角色，断言与检查器的区别。
概念入门
02
SystemVerilog断言语法
立即断言与并发断言，assert/assume/cover关键字。
语法SV
03
序列与属性
sequence的定义与使用，property的定义与使用，蕴含操作符(|->, |=>)。
sequenceproperty
04
SVA内置函数
$rose, $fell, $stable, $past, $onehot, $isunknown等。
内置函数SVA
05
断言绑定
bind语句的用法，将断言绑定到DUT接口或模块。
bind集成
06
断言覆盖率
cover property的使用，断言覆盖率收集与分析。
覆盖率cover
07
断言调试基础
仿真波形中查看断言，断言失败信息的解读。
调试波形
08
UVM中的断言集成
在UVM环境中嵌入断言，uvm_assertion_handler的使用。
UVM集成
09
断言与事务级建模
在sequence中使用断言，断言与TLM通信的结合。
TLMsequence
10
断言性能优化
避免断言仿真性能瓶颈，合理使用clocking block。
性能clocking
11
常见断言模式
握手协议、FIFO满空、总线协议等典型断言。
模式协议
12
断言编写规范
命名规范、注释规范、模块化设计。
规范风格
13
断言重用策略
参数化断言、断言库的构建。
重用参数化
14
断言与形式验证
断言在形式验证工具中的应用，断言完备性检查。
形式验证完备性
15
断言调试工具
VCS/UVM调试器、Verdi断言调试功能。
工具Verdi
16
断言实战案例1：APB总线
APB总线协议断言编写。
APB实战
17
断言实战案例2：AXI总线
AXI总线协议断言编写。
AXI实战
18
断言实战案例3：DDR控制器
DDR控制器时序断言。
DDR时序
19
断言实战案例4：低功耗管理
低功耗管理单元断言。
低功耗电源
20
断言实战案例5：CDC
时钟域交叉(CDC)断言。
CDC跨时钟
21
断言与随机化
在随机测试中利用断言指导激励生成。
随机化激励
22
断言与覆盖率驱动验证
结合断言覆盖率优化验证计划。
CDV覆盖率
23
断言调试高级技巧
使用$error/$fatal自定义断言失败行为。
高级$error
24
断言与UVM寄存器模型
断言寄存器读写操作的合法性。
寄存器RAL
25
断言与中断处理
验证中断请求与响应的时序关系。
中断时序
26
断言与多时钟域
跨时钟域断言的编写与同步处理。
多时钟同步
27
断言与复位行为
验证复位释放后的初始化时序。
复位初始化
28
断言与错误注入
通过断言触发错误注入场景。
错误注入验证
29
断言验证计划
如何制定断言验证计划，断言优先级划分。
计划优先级
30
综合实战：完整UVM断言环境
从规划到调试全流程，构建完整UVM断言验证环境。
全流程UVM