FPGA有限状态机（FSM）设计实践指南：三段式与二段式编码风格对比与实现

有限状态机（FSM）是数字逻辑设计的核心模式，用于描述具有有限个状态、并依据特定输入条件进行状态转移的系统。在FPGA设计中，FSM的编码风格直接决定了设计的可读性、可维护性、时序性能以及最终的综合实现结果。本指南将系统性地对比业界广泛采用的“三段式”与“二段式”FSM编码风格，提供从快速上手到深入原理的完整实践路径，并明确各自的适用场景与边界条件。

快速概览

三段式FSM将逻辑清晰地划分为状态寄存器、次态逻辑和输出逻辑三个部分，结构规整，时序路径明确。二段式FSM则将状态寄存器与次态逻辑（有时包含输出逻辑）合并，代码更紧凑，但对时序收敛要求更高。对于绝大多数FPGA设计，推荐优先采用三段式风格。

前置条件与环境

• 硬件平台：支持任意主流FPGA开发板（如Xilinx Artix-7系列或Intel Cyclone IV系列）。
• 软件工具：Vivado（Xilinx）或 Quartus Prime（Intel）任一版本，用于综合、实现与仿真。
• 设计语言：Verilog HDL 或 VHDL，本指南以Verilog为例进行说明。
• 基础知识：熟悉同步数字电路设计概念、时钟与复位、基本的HDL语法。

目标与验收标准

完成本指南的实践后，您将能够：

• 理解三段式与二段式FSM的代码结构与核心差异。
• 独立使用两种风格实现功能相同的状态机模块。
• 通过综合报告，对比分析两种风格在时序性能（最大时钟频率）和资源消耗（LUTs、FFs）上的差异。
• 根据设计需求，合理选择并应用合适的FSM编码风格。

实施步骤

步骤一：工程结构与模块定义

为公平对比，我们为两种风格创建接口完全一致的顶层模块。以一个简单的“序列检测器”（检测输入序列“1101”）为例，定义模块接口如下：

module seq_detector_3style (
    input wire clk,
    input wire rst_n,
    input wire data_in,
    output reg det_out
);
// 三段式FSM实现将放置于此
endmodule

module seq_detector_2style (
    input wire clk,
    input wire rst_n,
    input wire data_in,
    output reg det_out
);
// 二段式FSM实现将放置于此
endmodule

步骤二：三段式FSM实现

三段式风格是推荐的FPGA FSM编码范式，它将逻辑清晰地划分为三个部分，严格遵循同步设计原则。

1. 第一段：状态寄存器（时序逻辑）

   使用同步时序逻辑描述当前状态的存储与更新。这是所有FSM的“记忆”单元。

2. 第二段：次态逻辑（组合逻辑）

   使用纯组合逻辑，根据当前状态和输入条件，计算出下一个时钟周期应跳转到的状态（次态）。

3. 第三段：输出逻辑（组合或时序）

   根据当前状态（摩尔型输出）或当前状态与输入（米利型输出）产生输出信号。为消除毛刺和提高时序，通常建议对输出进行寄存器打拍（即用时序逻辑实现）。

核心机制分析：这种分离使得综合工具能清晰识别时序路径的起点（寄存器）和终点（寄存器）。状态转移路径（当前状态 → 次态逻辑 → 状态寄存器）构成一条标准时序路径，便于工具优化以满足时钟约束。输出路径若同样经过寄存器，则输出稳定，无组合逻辑毛刺。

// 三段式示例片段（状态定义与第一段）
parameter S_IDLE = 3'd0, S1 = 3'd1, S11 = 3'd2, S110 = 3'd3, S1101 = 3'd4;
reg [2:0] current_state, next_state;

// 第一段：状态寄存器
always @(posedge clk or negedge rst_n) begin
    if (!rst_n)
        current_state <= S_IDLE;
    else
        current_state <= next_state;
end

// 第二段：次态逻辑（组合）
always @(*) begin
    next_state = current_state; // 默认保持当前状态
    case (current_state)
        S_IDLE: next_state = (data_in == 1‘b1) ? S1 : S_IDLE;
        S1:     next_state = (data_in == 1‘b1) ? S11 : S_IDLE;
        // ... 其他状态转移
        default: next_state = S_IDLE;
    endcase
end

// 第三段：输出逻辑（时序，寄存输出）
always @(posedge clk or negedge rst_n) begin
    if (!rst_n)
        det_out <= 1'b0;
    else begin
        case (current_state)
            S1101: det_out <= 1'b1;
            default: det_out <= 1'b0;
        endcase
    end
end

步骤三：二段式FSM实现

二段式风格将上述的第一段（状态寄存器）与第二段（次态逻辑）或第三段（输出逻辑）进行合并，代码行数可能减少，但结构混合。

1. 第一段：合并的时序逻辑

   通常在一个always @(posedge clk)块中，既完成状态寄存器的更新，又可能根据某些条件直接产生寄存型的输出。次态计算所需的组合逻辑有时会内嵌在此过程中。

2. 第二段：组合逻辑

   描述剩余的状态转移条件或输出逻辑。有时，整个状态转移和输出都放在组合逻辑块中，而时序块仅负责寄存。

核心机制与风险：二段式风格模糊了纯组合的次态计算路径。如果次态逻辑复杂且被置于时序块中通过if-else语句实现，其关键路径可能始于上一个寄存器，经过复杂的多级选择器，再进入当前的状态寄存器，这条路径可能变得冗长，限制fmax。逻辑的混合也降低了代码的可读性和可维护性。

// 二段式示例片段（一种常见变体）
reg [2:0] state;
// 第一段：时序逻辑，包含状态转移判断
always @(posedge clk or negedge rst_n) begin
    if (!rst_n) begin
        state <= S_IDLE;
        det_out <= 1'b0;
    end else begin
        case (state) // 状态转移逻辑内嵌在时序块中
            S_IDLE: begin
                det_out <= 1'b0;
                if (data_in) state <= S1;
            end
            S1: begin
                det_out <= 1'b0;
                if (data_in) state <= S11; else state <= S_IDLE;
            end
            // ... 其他状态，输出可能随状态直接赋值
            S1101: begin
                det_out <= 1'b1; // 输出可能产生毛刺，因为依赖于异步的state变化？
                state <= S_IDLE; // 检测到后回到空闲
            end
            default: state <= S_IDLE;
        endcase
    end
end
// 第二段可能为空，或包含一些额外的组合输出逻辑

验证与结果分析

将上述两种实现分别进行综合与布局布线（Implementation），重点关注以下报告指标：

对比项	三段式FSM	二段式FSM	分析与说明
最大时钟频率 (fmax)	通常更高	可能较低	三段式时序路径清晰，工具优化效率高。二段式内嵌组合逻辑可能增加关键路径延迟。
触发器 (FFs) 使用量	可能稍多	可能稍少	三段式对输出进行寄存会多用FFs，但这换来了无毛刺的稳定输出。二段式若输出为组合逻辑，则节省FFs。
查找表 (LUTs) 使用量	与二段式相当或略优	与三段式相当	两者逻辑功能相同，综合工具优化后，组合逻辑资源消耗差异通常不大。
输出信号稳定性	高（寄存输出）	可能较低（组合输出）	三段式的寄存输出消除了毛刺。二段式若采用组合输出，在状态或输入变化时易产生毛刺。
代码可读性与维护性	高	较低	三段式结构如同文档，状态、转移、输出一目了然。二段式逻辑交织，修改时易出错。

常见问题与故障排查

• 锁存器（Latch）推断：在组合逻辑块（always @(*)）中，必须为所有可能的输入分支分配输出值，否则会生成不希望的锁存器。确保case语句有default分支，if-else语句完整。
• 输出毛刺：若输出信号由组合逻辑产生（米利型输出或二段式的组合输出），当输入或状态变化不同步时会产生毛刺。对时序要求高的输出，务必使用寄存器打拍（变为摩尔型输出）。
• 时序违例：表现为建立时间（Setup Time）或保持时间（Hold Time）违例。检查状态转移路径是否过长。对于三段式，优化次态组合逻辑；对于二段式，考虑将其重构为三段式。使用流水线或输出寄存是改善时序的有效手段。
• 仿真与综合行为不一致：通常由于使用了不可综合的仿真语句（如#delay、initial中对寄存器的非复位赋值）或对异步信号处理不当导致。确保设计代码与验证代码分离，并对所有异步输入进行同步处理。
• 状态机卡死或跑飞：首先检查复位逻辑是否正确生效。其次，使用仿真工具捕获状态转移波形，验证每个转移条件是否与设计意图一致。检查是否遗漏了某些状态或输入条件。

设计选择与边界建议

优先选择三段式FSM：在绝大多数FPGA项目中，应优先采用三段式风格。其带来的时序性能优势、设计可靠性和团队协作效率的提升，远超过可能增加的微量寄存器资源。它符合综合工具的预期，是稳健设计的基础。

谨慎考虑二段式FSM的边界：仅在同时满足以下条件时，方可考虑使用二段式风格：1）状态机极其简单（状态数少于4个，转移条件简单）；2）设计对芯片面积（特别是触发器资源）极度敏感，且经过验证，二段式能带来显著的资源节省；3）对输出毛刺不敏感，或已通过其他方式抑制；4）设计者能完全掌控其时序影响，并确认能满足时序约束。

扩展应用：安全状态机设计：对于高可靠性设计，可在三段式基础上增加“看门狗”或“安全状态”。例如，在状态转移的default分支中，不仅跳转到空闲态，还可以触发一个错误计数寄存器，当异常转移超过阈值时，强制状态机进入一个已知的安全恢复状态。

参考与附录

• 参考代码：可在提供的示例工程中找到完整的、带有测试平台的序列检测器三段式与二段式实现。
• 综合工具报告解读：关注“Timing Summary”中的WNS（最差负时序余量）和“Utilization Report”中的FF和LUT利用率。
• 深入阅读：IEEE Standard for Verilog Hardware Description Language (IEEE Std 1364)。《FPGA权威指南》、《数字设计：原理与实践》中关于状态机设计的章节。
• 附录：状态编码风格：除编码风格外，状态本身的编码（二进制、格雷码、独热码）也影响性能和资源。在FPGA中，对于状态数不多的情况（如本示例），独热码（One-hot）因占用更多触发器但简化了组合逻辑，常能带来更好的时序性能，值得在实践中尝试对比。