📘 SystemVerilog 断言 · 仿真验证全攻略
🎯
30章 从入门到实战
⚡
01
断言基础
什么是断言
验证角色
与覆盖率区别
02
立即断言
立即断言语法
使用场景
示例
03
并发断言
并发断言基础
与立即断言区别
示例
04
SVA序列基础
序列定义
序列操作符
序列匹配
05
SVA序列进阶
序列连接
序列重复
序列条件
06
SVA属性基础
属性定义
属性操作符
示例
07
SVA属性进阶
蕴含操作符
属性嵌套
属性复用
08
SVA时序操作
时钟定义
时钟边沿
时钟门控
09
SVA函数与任务
系统函数
自定义函数
任务应用
10
SVA宏定义
`assert
`assume
`cover宏
11
断言绑定
bind语句
绑定到模块
绑定到接口
12
断言覆盖率
cover属性
cover序列
覆盖率分析
13
断言调试
失败处理
断言日志
波形调试
14
断言与形式验证
形式验证基础
断言作用
形式验证
15
断言与动态仿真
动态仿真断言
性能优化
仿真技巧
16
断言与UVM
UVM集成
scoreboard
断言结合
17
断言与接口
接口断言
断言示例
interface
18
断言与协议验证
AXI断言
APB断言
协议检查
19
断言与时钟域
跨时钟域断言
CDC断言
同步
20
断言与复位
复位断言
复位序列
异步复位
21
断言与状态机
状态机断言
状态转换
FSM
22
断言与数据通路
数据通路断言
数据完整性
datapath
23
断言与内存
内存读写断言
一致性断言
memory
24
断言与中断
中断断言
优先级断言
interrupt
25
断言与功耗
功耗管理断言
低功耗断言
power
26
断言与安全
安全断言
访问控制
security
27
断言与可重用性
可重用断言库
断言参数化
reuse
28
断言最佳实践
编写规范
命名规则
风格
29
断言常见错误
语法错误
逻辑错误
性能陷阱
30
断言实战项目
完整验证项目
断言应用
项目总结