01
断言基础
什么是断言？断言在验证中的角色，断言与SystemVerilog的关系。
概念入门
02
立即断言
立即断言语法、使用场景、代码示例、常见错误。
语法实战
03
并发断言基础
并发断言概念、与立即断言的区别、关键字property和sequence。
并发核心
04
序列sequence
sequence定义、基本语法、时钟控制、简单序列示例。
序列时序
05
序列操作符
延迟操作符##、重复操作符[*n]、连续重复[=n]、非连续重复[->n]。
操作符进阶
06
序列组合
and、or、intersect、within、throughout操作符。
组合逻辑
07
属性property
property定义、property与sequence的关系、property参数化。
属性核心
08
断言指令
assert、assume、cover的区别与使用场景。
指令验证
09
断言中的函数
系统函数$rose、$fell、$stable、$past、$onehot等。
函数系统
10
断言中的局部变量
局部变量声明、赋值、在sequence和property中使用。
变量高级
11
断言中的表达式
位宽匹配、x态处理、z态处理、不定态处理。
表达式x/z
12
断言中的时钟
单时钟断言、多时钟断言、时钟门控处理。
时钟同步
13
断言中的复位
异步复位、同步复位、复位时的断言行为。
复位行为
14
断言绑定
bind语法、bind到模块、bind到接口、bind到实例。
绑定集成
15
断言覆盖率
cover指令、covergroup与断言结合、断言覆盖率分析。
覆盖率度量
16
断言调试
断言失败信息、$error/$warning/$info、断言调试技巧。
调试信息
17
断言宏
标准断言宏SVA、自定义断言宏、宏的优缺点。
宏封装
18
断言库
OVL断言库介绍、常用OVL断言、OVL参数配置。
库OVL
19
断言在UVM中的应用
UVM断言宏、uvm_assertion_handler、UVM scoreboard中的断言。
UVM框架
20
断言在接口中的应用
接口中的断言、接口断言绑定、接口断言复用。
接口复用
21
断言在协议验证中的应用
握手协议断言、总线协议断言、流控协议断言。
协议总线
22
断言在FIFO验证中的应用
空满标志断言、读写指针断言、溢出/下溢断言。
FIFO存储
23
断言在状态机验证中的应用
状态跳转断言、非法状态断言、状态超时断言。
FSM状态
24
断言在跨时钟域验证中的应用
CDC断言、同步器断言、亚稳态相关断言。
CDC跨时钟
25
断言在低功耗验证中的应用
电源域断言、电压域断言、电源状态断言。
低功耗电源
26
断言性能优化
断言数量控制、断言复杂度控制、断言使能控制。
性能优化
27
断言管理
断言分类、断言文档化、断言复用策略。
管理文档
28
断言验证计划
如何制定断言验证计划、断言优先级、断言与功能覆盖点结合。
计划策略
29
断言自动化
自动生成断言工具、断言检查工具、断言覆盖率收集工具。
自动化工具
30
综合项目实战
从零搭建一个完整的断言验证环境，包含断言规划、编写、绑定、调试、覆盖率收集全流程。
项目实战全流程