01
断言基础
什么是断言？断言在验证中的角色、断言与测试用例的区别。
概念入门
02
立即断言
立即断言语法、使用场景、示例。
语法组合逻辑
03
并发断言
并发断言基础、语法、与时钟的关系。
时序时钟
04
SVA序列
序列定义、操作符、匹配与重叠。
序列SVA
05
SVA属性
属性定义、操作符、多层嵌套。
属性嵌套
06
时序操作符
##延迟、[*n]重复、[->n] goto、[=n]非连续重复。
时序操作符
07
逻辑操作符
and, or, intersect, throughout, within。
逻辑复合
08
内置函数
$rose, $fell, $stable, $past, $onehot, $isunknown。
函数采样
09
断言绑定
bind语句、层次化绑定、复用技巧。
bind模块
10
断言覆盖率
cover属性、cover序列、覆盖率收集与分析。
覆盖率cover
11
局部变量
局部变量声明、赋值、在序列中的应用。
变量序列
12
递归
递归属性定义、终止条件、实际应用。
递归高级
13
断言中的宏
`assertion_on/off、自定义断言宏。
宏控制
14
expect语句
expect语法、与assert区别、使用场景。
expect等待
15
assume语句
assume语法、形式验证作用、与assert配合。
assume约束
16
covergroup与断言
covergroup结合断言、数据采样与覆盖。
covergroup采样
17
断言调试技巧
失败信息定制、严重性级别、控制开关。
调试技巧
18
断言与功能覆盖率
断言驱动覆盖率、交叉覆盖率的断言实现。
覆盖率交叉
19
总线协议断言
AXI、AHB、APB协议断言。
总线AXIAHB
20
FIFO验证断言
空满标志、读写指针、溢出与下溢检测。
FIFO存储
21
状态机断言
状态跳转合法性、输出断言、死锁检测。
FSM状态机
22
握手协议断言
valid-ready、请求-确认、超时检测。
握手valid-ready
23
跨时钟域断言
CDC同步器、多周期路径、亚稳态检测。
CDC跨时钟
24
低功耗断言
电源域切换、隔离单元、电平转换器断言。
低功耗电源
25
复位验证断言
复位同步、释放顺序、复位域隔离。
复位同步
26
内存验证断言
读写冲突、地址对齐、ECC错误检测。
内存ECC
27
DMA验证断言
描述符链、传输完成、地址边界断言。
DMA传输
28
中断验证断言
中断触发条件、优先级、嵌套断言。
中断优先级
29
安全验证断言
安全状态跳转、访问权限、安全异常检测。
安全权限
30
断言驱动验证方法论
断言规划、开发流程、回归管理、与UVM结合。
方法论UVM