01
断言基础
什么是断言？断言在UVM中的角色与价值。
核心概念入门
02
SVA语法速览
立即断言与并发断言、序列与属性。
语法SVA
03
UVM断言宏
`uvm_assert、`uvm_assert_on、`uvm_assert_off 的使用。
宏UVM
04
内建断言库
UVM中常用的内建断言方法（如 uvm_assertion_handler）。
内建库
05
断言与覆盖率
如何利用断言收集功能覆盖率。
覆盖率功能
06
断言调试技巧
使用 $asserton/$assertoff 控制断言开关。
调试开关
07
断言与事务级建模
在 sequence 和 monitor 中嵌入断言。
TLMsequence
08
断言参数化
编写可重用的参数化断言模块。
参数化重用
09
断言与 formal verification
UVM断言在形式验证中的集成。
Formal验证
10
断言性能优化
避免断言导致的仿真性能瓶颈。
性能优化
11
断言与 scoreboard
断言结果与参考模型的比对。
Scoreboard比对
12
断言分层策略
模块级、系统级断言的组织方法。
分层架构
13
断言覆盖率分析
使用仿真工具分析断言命中率。
分析命中率
14
断言与 reset
处理复位期间的断言行为。
复位行为
15
断言与时钟域
跨时钟域断言的处理方法。
CDC时钟域
16
断言与错误注入
利用断言模拟错误场景。
错误注入模拟
17
断言与 UVM 报告机制
将断言失败集成到 UVM 的 report 系统中。
报告UVM
18
断言与回调
使用 uvm_callbacks 扩展断言行为。
回调扩展
19
断言与序列库
在 uvm_sequence_library 中集成断言。
序列库集成
20
断言与寄存器模型
对寄存器读写操作进行断言检查。
寄存器RAL
21
断言与总线协议
AXI、APB 等总线协议的断言模板。
AXIAPB总线
22
断言与低功耗
低功耗序列中的断言应用。
低功耗电源
23
断言与随机化
在随机化约束中使用断言。
随机化约束
24
断言与覆盖率驱动验证
CDV 流程中的断言角色。
CDV覆盖率驱动
25
断言与仿真后处理
离线分析断言日志。
后处理日志
26
断言与 emulation
在硬件加速仿真中使用断言。
Emulation加速
27
断言库的封装与分发
创建公司内部的断言 IP 库。
IP封装
28
断言与 UVM 1.2/2.0 新特性
新版本中的断言增强。
UVM 2.0新特性
29
断言实战案例
一个 AXI4 总线断言检查器的完整实现。
实战AXI4
30
断言最佳实践总结
常见陷阱与高效使用模式。
最佳实践总结