01
状态机基础
什么是状态机、Moore与Mealy分类、状态转移图基本要素
核心理论入门
02
波形基础回顾
时钟与复位、同步与异步信号、建立/保持时间
时序基础
03
波形查看工具入门
Verdi/GTKWave界面、加载波形、信号搜索与分组
工具实操
04
状态编码与波形映射
二进制、格雷码、独热码在波形中的表现形式
编码波形
05
状态跳转波形分析
从波形识别当前状态、跳转触发条件分析
核心方法
06
单次跳转波形实战
分析IDLE→SEND单次状态跳转波形
实战基础
07
连续跳转波形实战
IDLE→SEND→WAIT→IDLE完整循环
循环波形
08
条件分支跳转分析
if-else条件导致的不同状态路径波形
分支条件
09
状态机中的计数器
计数器溢出导致的状态跳转波形
计数器溢出
10
超时状态跳转分析
超时事件触发的状态回退波形
超时回退
11
异常状态跳转分析
错误标志位导致的异常状态跳转
异常错误
12
多状态机交互波形
主从状态机握手信号与状态联动
交互握手
13
流水线状态机波形
流水线各阶段状态寄存器波形变化
流水线阶段
14
状态机复位行为分析
同步复位与异步复位对跳转波形的影响
复位时序
15
毛刺与亚稳态
波形中识别毛刺、亚稳态对状态跳转的影响
毛刺亚稳态
16
波形调试技巧
Marker、光标测量、波形缩放与查找
调试技巧
17
波形对比分析
RTL仿真波形与预期波形对比方法
对比验证
18
状态跳转覆盖率分析
从波形提取状态覆盖率与跳转覆盖率
覆盖率分析
19
FSM提取与反标
从波形反向推导状态机结构
逆向FSM
20
复杂状态机实战(一)
UART接收状态机波形分析
UART实战
21
复杂状态机实战(二)
SPI主设备状态机波形分析
SPI实战
22
复杂状态机实战(三)
AHB总线Slave状态机波形
AHB总线
23
复杂状态机实战(四)
DMA控制器状态机波形
DMA控制器
24
复杂状态机实战(五)
Cache控制器状态机波形
Cache实战
25
低功耗状态机波形
Clock Gating与Power Gating对状态跳转影响
低功耗门控
26
DFT模式下的状态机
扫描测试模式下状态机特殊行为波形
DFT测试
27
后仿波形分析
门级延迟后的状态跳转波形变化
后仿延迟
28
形式化验证与波形
使用断言(Assertion)辅助波形分析
断言验证
29
自动化波形分析脚本
Python/Tcl脚本批量分析状态跳转波形
脚本自动化
30
综合实战项目
从RTL设计到波形验证的完整状态机调试流程
项目综合