第1章
断言基础
什么是断言？断言在验证中的角色、断言语言（SVA）概述。
概念SVA
第2章
SVA语法入门
序列（sequence）、属性（property）、断言指令（assert/assume/cover）。
语法sequence
第3章
时序操作符
##延迟、##[m:n]延迟范围、$rose、$fell、$stable。
时序操作符
第4章
序列组合
and、or、intersect、within、throughout。
组合运算符
第5章
属性与断言
property定义、assert语句、assume语句、cover语句。
propertyassert
第6章
断言绑定
bind语法、模块级绑定、接口级绑定。
bind模块
第7章
形式化验证基础
形式化验证概念、与动态仿真的区别、适用场景。
形式化概念
第8章
SVA在仿真中的使用
仿真器设置、断言使能、断言报告解读。
仿真报告
第9章
断言覆盖率
cover指令、覆盖率收集、覆盖率分析。
覆盖率cover
第10章
断言调试
断言失败定位、波形查看、调试技巧。
调试波形
第11章
断言与功能覆盖率
功能覆盖率概念、断言与covergroup结合。
功能覆盖covergroup
第12章
断言在接口协议中的应用
AXI协议断言示例、APB协议断言示例。
AXIAPB
第13章
断言在FIFO验证中的应用
空满标志断言、读写指针断言。
FIFO指针
第14章
断言在状态机验证中的应用
状态跳转合法性断言、状态输出断言。
FSM状态
第15章
断言在数据通路验证中的应用
数据一致性断言、流水线行为断言。
数据通路流水线
第16章
断言在复位验证中的应用
复位行为断言、复位释放时序断言。
复位时序
第17章
断言在时钟域交叉（CDC）验证中的应用
CDC断言、同步器行为断言。
CDC同步器
第18章
断言在低功耗验证中的应用
电源域切换断言、隔离单元断言。
低功耗电源域
第19章
断言重用策略
参数化断言、断言库设计、断言宏。
重用宏
第20章
断言管理
断言开关控制、断言分级、断言过滤。
管理分级
第21章
断言与UVM集成
UVM中嵌入断言、uvm_assertion_handler。
UVM集成
第22章
断言在IP验证中的应用
IP级断言规划、IP级断言集成。
IP规划
第23章
断言在SoC验证中的应用
SoC级断言策略、跨IP断言。
SoC跨IP
第24章
断言在回归测试中的应用
回归测试断言管理、断言失败自动分析。
回归自动分析
第25章
断言在形式化验证中的应用
形式化工具设置、断言证明、反例分析。
形式化证明
第26章
断言在硬件加速仿真中的应用
加速仿真断言限制、断言优化。
加速优化
第27章
断言在硅后验证中的应用
硅后调试断言、ATE测试断言。
硅后ATE
第28章
断言标准与规范
IEEE 1800 SVA标准、企业断言规范。
标准IEEE
第29章
断言自动化工具
断言生成工具、断言检查工具、断言可视化工具。
自动化工具
第30章
断言驱动的验证方法论
断言驱动验证（ADV）流程、ADV与UVM结合、ADV最佳实践。
ADV方法论