第1章
断言基础
什么是断言？断言在验证中的角色，断言与覆盖率的关联。
核心概念入门
第2章
SVA语法入门
立即断言与并发断言，sequence与property基础。
SystemVerilog语法
第3章
断言覆盖率类型
代码覆盖率、功能覆盖率、断言覆盖率，如何区分。
覆盖率指标
第4章
覆盖率驱动的验证
如何用断言指导测试用例编写，提升验证完备性。
方法论CDV
第5章
断言复用策略
在VIP和验证环境中高效复用断言组件。
VIP复用
第6章
断言调试技巧
断言失败时的波形分析，debug流程优化。
调试波形
第7章
形式化验证中的断言
使用断言进行静态验证，与动态仿真的区别。
形式化静态
第8章
断言与覆盖率数据库
UCDB（统一覆盖率数据库）的生成与合并。
UCDB数据库
第9章
覆盖率收敛技术
如何通过断言快速达到覆盖率目标。
收敛效率
第10章
断言在低功耗验证中的应用
电源域切换时的断言检查。
低功耗电源域
第11章
断言在总线协议验证中的应用
AXI/APB/AHB协议的断言模板。
总线AXIAPB
第12章
断言在中断验证中的应用
中断请求与响应的时序检查。
中断时序
第13章
断言在FIFO验证中的应用
空满标志、溢出与下溢检查。
FIFO溢出
第14章
断言在状态机验证中的应用
状态跳转合法性检查。
FSM状态机
第15章
断言在跨时钟域(CDC)验证中的应用
同步器与握手协议的断言。
CDC跨时钟
第16章
断言在复位验证中的应用
复位释放时序与复位域隔离检查。
复位时序
第17章
断言在寄存器验证中的应用
寄存器读写属性与保留位检查。
寄存器RAL
第18章
断言在数据通路验证中的应用
数据完整性、流水线停顿与冲刷检查。
数据通路流水线
第19章
断言在安全机制验证中的应用
ECC、奇偶校验、安全告警的断言。
安全ECC
第20章
断言在DMA验证中的应用
描述符解析、传输完成与地址边界检查。
DMA描述符
第21章
断言在内存一致性验证中的应用
缓存一致性协议（如MESI）的断言。
一致性MESI
第22章
断言在虚拟化验证中的应用
虚拟机切换时的上下文保存与恢复检查。
虚拟化VM
第23章
断言在性能验证中的应用
延迟、吞吐量、背压信号的断言监控。
性能吞吐量
第24章
断言在随机化验证中的应用
约束求解器与断言联合调试。
随机化约束
第25章
断言在回归测试中的应用
自动化断言检查与结果比对。
回归自动化
第26章
断言在覆盖率分析工具中的应用
使用Verdi/Questa等工具查看断言覆盖率。
工具VerdiQuesta
第27章
断言在UVM中的集成
uvm_assertion_handler与report机制。
UVM集成
第28章
SystemVerilog高级特性
expect语句、assume语句、cover语句。
SV高级
第29章
工业级最佳实践
命名规范、文档化、评审流程。
规范流程
第30章
断言与AI辅助验证
利用机器学习预测断言遗漏点，提升覆盖率效率。
AI机器学习