01
状态机基础
什么是状态机 · 三要素（状态、事件、动作）· 应用场景
入门核心
02
状态机分类
Moore型 vs Mealy型 · 区别与联系 · 如何选择
理论对比
03
状态图绘制
基本元素 · 绘制规范 · 使用draw.io等工具
工具可视化
04
状态表与状态编码
状态表设计 · 二进制/格雷/独热编码
编码数字逻辑
05
三段式状态机
三段式写法（跳转/寄存器/输出）· 与二段式对比
Verilog架构
06
状态机设计流程
需求分析 · 状态定义 · 状态图 · 代码 · 仿真
流程方法论
07
Verilog实现状态机
always块 · case语句 · 状态寄存器 · 复位
VerilogHDL
08
VHDL实现状态机
architecture · process · case/when · 类型定义
VHDL硬件描述
09
状态机仿真与调试
testbench · 波形分析 · 常见仿真错误
仿真调试
10
状态机中的时序问题
建立/保持时间 · 时钟域同步 · 亚稳态处理
时序同步
11
状态机中的毛刺问题
组合逻辑毛刺 · 寄存器消除 · 输出寄存技巧
毛刺优化
12
状态机中的死锁与陷阱
不可达状态 · 状态冲突 · 死锁检测与避免
可靠性陷阱
13
状态机优化
状态化简/合并 · 编码优化 · 面积与速度权衡
优化面积
14
状态机中的复位策略
同步/异步复位 · 复位状态设计 · 信号处理
复位可靠性
15
状态机中的中断处理
中断请求/响应 · 嵌套 · 优先级
中断系统
16
状态机中的超时处理
超时计数器 · 超时跳转 · 看门狗机制
超时看门狗
17
状态机中的错误处理
错误状态定义 · 恢复机制 · 日志记录
错误鲁棒性
18
状态机中的低功耗设计
时钟门控 · 编码优化 · 切换频率控制
低功耗节能
19
状态机中的安全设计
安全状态 · 故障注入 · 冗余设计 · 锁定
安全容错
20
状态机中的状态机嵌套
主/子状态机 · 调用与返回
嵌套层次
21
状态机中的状态机链
串联 · 并联 · 状态机通信
链式通信
22
状态机中的状态机数组
实例化 · 索引 · 复用
数组实例
23
状态机中的状态机生成
参数化 · 模板 · 自动生成
生成参数化
24
状态机中的状态机验证
形式化验证 · 模型检查 · 等价性检查
验证形式化
25
状态机中的状态机综合
综合工具 · 约束 · 优化
综合EDA
26
状态机中的状态机测试
测试覆盖率 · 向量生成 · 边界测试
测试覆盖率
27
状态机中的状态机文档
状态图文档 · 状态表 · 说明文档
文档规范
28
状态机中的状态机复用
封装 · 接口 · 状态机库
复用库
29
状态机中的状态机调试技巧
断点调试 · 波形调试 · 日志调试
调试技巧
30
状态机设计实战项目
UART · SPI · I2C 协议状态机设计
实战协议