1. 状态机基础：什么是状态机、状态机的分类（Moore与Mealy）、状态转移图的基本要素

大家好，我是你们的验证工程师老K。今天咱们来聊聊状态机——这个数字IC设计里绕不开的核心概念。

说实话，我刚开始做验证那会儿，觉得状态机就是个“高级开关”。后来踩了不少坑才明白，它其实是整个数字系统的“大脑”。你想想看，一个芯片能不能按预期工作，很大程度上取决于状态机写没写对。

1.1 什么是状态机？

状态机，全称是有限状态机（Finite State Machine，FSM）。说白了，就是一个有记忆的电路。

它跟组合逻辑最大的区别是什么？组合逻辑是“输入一变，输出立马变”。但状态机不一样——它记得自己刚才在干什么，然后根据当前输入和当前状态，决定下一步去哪。

我习惯用一个比喻来解释：状态机就像一台自动售货机。你投了5块钱，它记住你投了5块；你再投5块，它知道现在有10块了。然后根据你按的按钮（输入），决定是出货还是找零。这就是状态机的工作方式。

嗯，这里要注意：状态机的“记忆”是靠触发器（Flip-Flop）实现的。每个状态对应一组触发器的输出值。所以状态数量越多，需要的触发器就越多，面积和功耗也会跟着涨。

1.2 状态机的分类：Moore与Mealy

状态机分两种：Moore型和Mealy型。这是每个验证工程师必须分清楚的基本概念。

对比项	Moore型	Mealy型
输出依赖	只依赖当前状态	依赖当前状态 + 当前输入
输出时序	状态变化后一个时钟周期输出	输入变化后立即输出（组合逻辑）
状态数量	通常较多	通常较少
抗毛刺能力	较强	较弱（输出可能有毛刺）
典型应用	控制逻辑、协议解析	高速数据通路、流水线控制

Moore型状态机：输出只跟当前状态有关。我个人的经验是，Moore型写起来更安全，不容易出时序问题。因为输出在时钟沿才变化，天然带了一级寄存器。

Mealy型状态机：输出同时依赖当前状态和输入。它的好处是反应快——输入一变，输出马上跟着变，不需要等下一个时钟。但坏处也很明显：输出是组合逻辑，容易产生毛刺。

1.3 状态转移图的基本要素

状态转移图，是描述状态机最直观的方式。我每次写状态机之前，都会先在纸上画一张图。别小看这一步——画清楚了，代码写起来就是填空。

一张完整的状态转移图，必须包含以下要素：

1. 状态圆圈：每个状态用一个圆圈表示，里面写上状态名
2. 状态编码：每个状态对应的二进制编码（比如IDLE=3'b000）
3. 转移箭头：从一个状态到另一个状态的连线，带箭头
4. 转移条件：箭头上标注什么条件下发生转移（比如：start==1）
5. 输出信号：Moore型写在状态圆圈内，Mealy型写在箭头上
6. 初始状态：通常用双圈或特殊标记表示复位后的状态

下面我画一个简单的Moore型状态机示例，展示一个“三状态循环”的典型结构：

画状态转移图时，我有个习惯：先画主干，再补细节。先把正常流程画出来，比如IDLE→WORK→DONE→IDLE。然后再补异常路径，比如超时、错误、中断等。

1.4 状态编码方式

状态编码也是个讲究活。常用的编码方式有三种：

• 二进制编码（Binary）：用最少的触发器，比如4个状态用2个触发器。省面积，但组合逻辑复杂，容易出毛刺。
• 独热码（One-Hot）：每个状态用一个触发器，只有一个bit为1。比如4个状态用4个触发器。速度快，译码简单，但费面积。
• 格雷码（Gray）：相邻状态只变化1个bit。适合跨时钟域传输，减少亚稳态风险。

我个人在验证项目中，最常用的是独热码。为什么？因为调试方便。你抓波形一看，哪个bit拉高了，就知道当前在哪个状态。二进制编码你得算半天才知道0b10对应哪个状态。

但如果是低功耗设计，二进制编码更合适。因为触发器少，漏电流小。这个取舍，得看项目需求。

1.5 验证视角看状态机

作为验证工程师，我们看状态机跟设计工程师不太一样。设计关心“怎么写”，我们关心“怎么测”。

我总结了几条验证状态机的要点：

1. 全覆盖：每个状态都要跑到，每个转移条件都要覆盖到
2. 异常路径：非法状态、非法转移、超时等场景必须测
3. 复位行为：复位后能不能正确回到初始状态
4. 输出检查：每个状态下输出信号是否符合预期
5. 毛刺检测：Mealy型状态机的输出要特别关注毛刺

好了，状态机的基础概念就聊到这儿。记住：状态机是数字系统的骨架，画好状态转移图，写好状态机代码，是每个数字IC工程师的基本功。下一节我们聊聊状态机的代码实现，到时候我会分享一些我写RTL和验证环境时的具体套路。

可可精品资料库