01
状态机基础
什么是状态机 · Moore与Mealy · 状态转移图绘制规范
概念分类
02
Verilog实现基础
三段式状态机 · 状态编码：二进制/格雷码/独热码
编码RTL
03
仿真环境搭建
VCS/Verilog仿真 · Testbench结构 · 时钟与复位生成
环境TB
04
波形查看入门
Verdi/GTKWave操作 · 信号添加与分组 · 缩放测量
波形工具
05
状态机调试技巧
状态跳转异常 · 状态变量观察 · 毛刺与竞争分析
调试技巧
06
常见错误模式
状态丢失 · 非法状态 · 输出延迟 · 死锁与活锁
错误模式
07
覆盖率驱动调试
代码覆盖率 · 状态覆盖率 · 翻转覆盖率分析
覆盖率验证
08
复杂状态机实例
UART协议 · SPI控制器 · AHB总线状态机
实例总线
09
低功耗状态机设计
时钟门控状态机 · 电源域切换状态机
低功耗设计
10
异步状态机处理
异步输入同步化 · 亚稳态消除 · 握手协议状态机
异步CDC
11
状态机验证方法学
UVM状态机组件 · 断言SVA在状态机中的应用
UVMSVA
12
波形分析进阶
波形比较 · 波形脚本自动化 (Tcl/Python)
自动化脚本
13
性能优化
状态机流水线 · 状态合并与拆分 · 关键路径分析
优化时序
14
可综合风格
避免锁存器 · 完整case与default · 综合指导
综合风格
15
调试工具链
Verdi nWave高级功能 · FSDB/VCD数据库管理
工具链数据库
16
状态机文档化
状态表自动生成 · 状态图导出 · 文档规范
文档规范
17
多时钟域状态机
跨时钟域同步 · FIFO状态机 · 握手同步器
多时钟同步
18
状态机复位策略
同步/异步复位 · 复位状态机 · 复位释放时序
复位策略
19
状态机测试
定向测试 · 随机测试 · 边界测试 · 错误注入
测试验证
20
波形调试实战
典型bug复现与修复：状态跳转错误、输出毛刺、死锁
实战调试
21
状态机综合与实现
综合约束 · 面积优化 · 时序优化
综合实现
22
状态机形式化验证
属性检查 · 模型检验 · 等价性检查
形式化验证
23
状态机功耗分析
动态功耗 · 静态功耗 · 功耗优化状态机
功耗分析
24
状态机安全设计
安全状态 · 故障注入 · 状态机硬化
安全可靠性
25
状态机重用
参数化状态机 · 状态机生成器 · IP化设计
重用IP
26
状态机调试方法论
二分法调试 · 波形回溯 · 断言驱动调试
方法论调试
27
高级波形分析
波形数学运算 · 波形统计 · 波形模式识别
高级分析
28
状态机与处理器
微控制器状态机 · 指令译码 · 流水线控制
处理器架构
29
状态机与通信协议
以太网状态机 · PCIe状态机 · DDR状态机
协议高速
30
综合项目实战
I2C控制器状态机：设计、仿真、调试、验证全流程
项目I2C