01
时序断言基础
什么是断言？为什么需要断言？断言在验证中的角色。
基础概念
02
SVA语法入门
SVA的基本结构、序列(sequence)与属性(property)的定义。
SVA语法
03
立即断言与并发断言
立即断言的使用场景、并发断言的优势与时钟控制。
断言类型时钟
04
序列操作符
重叠与非重叠蕴含、时序操作符(##、[*]、[=]、[->])。
操作符时序
05
属性定义与多层嵌套
property的层次化设计、多时钟域属性。
层次化多时钟
06
断言中的函数与系统函数
$rose、$fell、$stable、$past、$sampled等。
系统函数采样
07
复杂时序关系建模
握手协议、流水线协议、总线协议的断言编写。
协议建模
08
断言覆盖率
cover property的使用、覆盖率收集与分析。
覆盖率cover
09
断言中的参数化与重用
parameterized property、宏定义与断言库。
参数化重用
10
断言调试技巧
断言失败时的波形分析、断言日志与报告解读。
调试波形
11
形式化验证中的断言
使用断言进行形式化验证、假设(assume)与保证(assert)。
形式化假设
12
断言与仿真加速
断言编译选项、断言关闭与使能控制。
仿真加速
13
跨时钟域(CDC)断言
同步器建模、CDC路径的断言检查。
CDC同步器
14
复位与低功耗断言
异步复位、同步复位、电源域切换的断言。
复位低功耗
15
断言在AMBA协议中的应用
AHB、APB、AXI协议的断言模板。
AMBAAXI
16
断言在PCIe协议中的应用
TLP层、DLL层、PHY层的断言。
PCIeTLP
17
断言在DDR协议中的应用
读写时序、刷新、预充电的断言。
DDR时序
18
断言在以太网协议中的应用
MAC层、PCS层、PMA层的断言。
以太网MAC
19
断言在UART/SPI/I2C协议中的应用
帧格式、起始/停止位、仲裁的断言。
UARTI2C
20
断言在视频协议中的应用
MIPI CSI/DSI、HDMI的时序断言。
MIPI视频
21
断言在AI加速器中的应用
数据流控制、计算单元握手、内存访问的断言。
AI加速器
22
断言在安全模块中的应用
访问控制、状态机跳转、异常处理的断言。
安全状态机
23
断言在DFT(可测试性设计)中的应用
扫描链、BIST、边界扫描的断言。
DFT扫描
24
断言在FPGA原型验证中的应用
时钟管理、IO时序、复位树的断言。
FPGA原型
25
断言在混合信号验证中的应用
模拟数字接口、电平转换、时序容差的断言。
混合信号模拟
26
断言在软件硬件协同验证中的应用
寄存器访问、中断响应、DMA传输的断言。
软硬件协同
27
断言在UVM环境中的集成
uvm_assertion_handler、断言与scoreboard的交互。
UVM集成
28
断言在持续集成(CI)中的应用
回归测试中的断言管理、断言结果自动化分析。
CI自动化
29
断言标准与规范
IEEE 1800-2017 SVA标准、企业级断言编码规范。
标准规范
30
综合案例实战
从零搭建一个复杂SoC的断言验证环境，覆盖所有关键时序路径。
实战SoC