01
断言基础
断言的概念 · 验证中的角色 · 与SystemVerilog的关系
概念入门
02
立即断言
立即断言语法 · 使用场景 · 示例
语法组合逻辑
03
并发断言
并发断言基础 · 语法 · 与时钟的关系
时钟时序
04
SVA序列
序列的概念 · 声明 · 简单操作符
序列操作符
05
SVA属性
属性的概念 · 声明 · 使用
属性核心
06
蕴含操作符
蕴含操作符概述 · 语法 · 示例
蕴含条件
07
时序操作符
时钟延迟 · 重复操作符 · 非连续重复
时序重复
08
SVA函数
$rose · $fell · $stable · $past
系统函数边沿
09
SVA高级函数
$onehot · $onehot0 · $isunknown · $countones
高级检测
10
断言绑定
bind语句语法 · 使用场景 · 示例
绑定模块
11
断言覆盖率
断言覆盖率概念 · cover property · 收集与分析
覆盖率cover
12
断言宏
标准断言宏 · 自定义宏 · 最佳实践
宏重用
13
断言与UVM集成
UVM断言组件 · uvm_assertion_handler · 回调
UVM集成
14
断言调试
失败信息解读 · 调试技巧 · 波形查看
调试波形
15
断言性能优化
仿真性能影响 · 关闭机制 · 层次化控制
性能优化
16
形式化验证中的断言
形式化基础 · 断言作为约束 · 检查点
形式化约束
17
断言重用策略
可配置断言 · 参数化 · 断言库构建
重用库
18
断言与覆盖率驱动验证
覆盖率驱动概念 · 断言覆盖率整合 · 功能覆盖点关联
CDV功能覆盖
19
断言在总线协议中的应用
AXI · APB · AHB 协议断言
总线AXIAPB
20
断言在FIFO验证中的应用
满空检查 · 读写指针 · 溢出检查
FIFO存储
21
断言在状态机验证中的应用
状态跳转 · 唯一性 · 超时检查
FSM状态
22
断言在握手协议中的应用
握手时序 · ready/valid · 超时检查
握手valid
23
断言在跨时钟域中的应用
CDC同步器 · 握手协议 · 数据完整性
CDC跨时钟
24
断言在低功耗验证中的应用
电源域切换 · 电源门控 · 低功耗状态机
低功耗电源
25
断言在安全验证中的应用
安全状态 · 访问控制 · 异常检查
安全访问
26
断言在DMA验证中的应用
DMA传输 · 地址边界 · 中断检查
DMA传输
27
断言在中断控制器验证中的应用
中断优先级 · 嵌套 · 屏蔽检查
中断优先级
28
断言在存储器验证中的应用
读写冲突 · 地址对齐 · 初始化检查
存储器对齐
29
断言在数据通路验证中的应用
数据一致性 · 流控制 · 格式检查
数据通路一致性
30
断言验证项目实战
需求分析 · 规划与设计 · 实现调试 · 覆盖率分析 · 总结
项目实战综合