Verilog时序电路设计：从寄存器到状态机的硬件建模实践

2026/8/6 15:04:02

1. 从逻辑门到代码：为什么我们需要用Verilog描述时序电路

如果你刚开始接触数字电路设计，可能会觉得用Verilog写代码和用C语言写程序没什么两样，无非是定义变量、写逻辑表达式、最后编译运行。但当你真正开始用Verilog去描述一个计数器或者一个状态机时，第一个让你感到困惑的往往是：为什么我写的代码综合出来的电路，行为和我想的不一样？时钟信号到底是怎么“驱动”整个电路的？这个困惑的根源，就在于时序电路。

时序电路是数字系统的“记忆体”和“节拍器”。与组合电路（输出只取决于当前输入）不同，时序电路的输出不仅取决于当前输入，还取决于电路过去的状态。这个“过去的状态”就存储在触发器（Flip-Flop）里，而时钟信号则像指挥家的节拍棒，决定了状态何时可以更新。在纸上画原理图，你可以清晰地看到触发器、时钟线和数据路径。但当你需要用硬件描述语言（HDL）如Verilog，将这张图“翻译”成代码时，事情就变得微妙了。Verilog不是普通的编程语言，它是一种对硬件行为的描述。写Verilog代码，本质上是在用文本的方式“绘制”电路结构，并规定其行为。描述时序电路，尤其是其中的时钟与复位逻辑、状态迁移，是Verilog学习的核心分水岭，也是区分“软件思维”和“硬件思维”的关键。

在实际的工程中，无论是做一颗简单的FPGA逻辑控制芯片，还是复杂的ASIC处理器，几乎所有的核心功能模块都是时序电路。UART串口需要移位寄存器按节拍收发数据；DDR3控制器需要精确的状态机来管理复杂的读写时序；视频编解码中的流水线处理，每一步都需要时钟来同步。如果你只会用assign语句写一些简单的逻辑运算，那还远未触及数字设计的核心。掌握用Verilog精准、可靠地描述时序电路，意味着你开始真正理解硬件是如何在时间维度上一步步工作的，你的代码将能从仿真环境无缝地映射到真实的硅片或FPGA资源上。接下来，我们就抛开抽象的教科书定义，直接切入如何用Verilog的语法和建模思想，来构建这些会“记忆”和“同步”的电路。

2. 时序电路的核心建模单元：always块与寄存器

在Verilog中，描述时序逻辑最主要的载体是always块。但一个空的always块什么也不是，它的行为完全由其敏感列表和内部语句决定。对于时序电路，我们必须使用时钟边沿触发的always块。

2.1 边沿敏感always块的标准模板

最基本的描述一个受时钟和复位控制的寄存器（一组触发器）的代码如下：

always @(posedge clk or posedge rst) begin if (rst) begin // 复位逻辑：将寄存器置为初始值 q <= 1‘b0; end else begin // 正常工作逻辑：在每个时钟上升沿，将d的值锁存到q q <= d; end end

这段简单的代码蕴含了三个关键点，理解它们就理解了时序描述的基石：

敏感列表 (@(posedge clk or posedge rst)): 它声明了这个always块只有在clk的上升沿（posedge）或rst的上升沿发生时才会被“激活”执行。注意，这里说的是“激活”，而不是像软件那样“连续运行”。在两次边沿之间，这个块是静止的。
非阻塞赋值 (<=): 这是时序逻辑建模的黄金法则。q <= d并不意味着立刻把d的值赋给q。它的语义是：在当前的仿真时间点（即posedge clk），调度一个赋值事件，这个事件将在当前时间步的末尾（确切说，是当前仿真时间片的非阻塞赋值更新阶段）才真正生效。这完美模拟了物理触发器的行为：时钟边沿到来时，输入端D的数据被采样，但输出端Q要到边沿之后的一个微小延迟（时钟到输出的时间）才会更新。使用非阻塞赋值是避免仿真与综合后电路行为出现诡异差异的最重要保障。
复位优先级:if (rst) ... else ...的结构明确了异步复位的优先级高于时钟。只要rst出现上升沿，无论clk是什么状态，都立刻执行复位分支。在实际电路中，这对应着复位信号直接连接到触发器的异步复位端。如果是同步复位，敏感列表里就只有posedge clk，复位判断放在else之前，但优先级逻辑不变。

注意：对于初学者，一个常见的错误是混合使用阻塞赋值(=)和非阻塞赋值(<=)。记住一个简单的原则：在描述时序逻辑的always块中（敏感列表为posedge clk），对所有寄存器型变量（reg）的赋值，一律使用非阻塞赋值(<=)。而在描述组合逻辑的always块中（敏感列表为*或电平信号），则使用阻塞赋值(=)。这个习惯能帮你避开绝大多数棘手的仿真竞争问题。

2.2 寄存器的声明与建模层次

在Verilog-2001标准中，我们通常使用reg关键字来声明那些在always块中被赋值的变量，它们最终可能被综合成触发器、锁存器或者仅仅是连线。但更现代、更推荐的做法是，在声明时就直接体现其寄存器特性：

// 传统方式 reg [7:0] counter; // 更清晰的方式（尤其在SystemVerilog中） logic [7:0] counter; // logic 类型可以替代 reg 和 wire，更具描述性

一个寄存器可以是一位，也可以是一个向量（数组）。例如，一个8位的计数器就是一个8位宽的寄存器。描述一个带使能、同步清零的计数器，代码如下：

logic [7:0] cnt; always @(posedge clk) begin if (sync_clear) begin // 同步清零，优先级最高 cnt <= 8‘h0; end else if (cnt_en) begin // 使能信号有效时计数 cnt <= cnt + 1‘b1; end // 如果使能无效，cnt保持原值，这隐含在if-else结构中 end

这里可以看到，时序逻辑的描述具有很强的“条件更新”特性。每个时钟沿，电路都会检查一系列条件，并决定寄存器的新值。如果没有任何条件被触发（比如else分支缺失），寄存器将保持原值，这正是触发器固有的“记忆”功能。

3. 有限状态机：时序逻辑设计的典型范式

有限状态机（FSM）是时序电路最经典、最强大的设计模式之一，广泛应用于协议处理、控制器、序列检测等场景。一个完整的FSM通常分为三个部分：状态寄存器、次态逻辑和输出逻辑。用Verilog描述FSM，主要有三种风格：一段式、两段式、三段式。工程上最推荐、结构最清晰的是三段式。

3.1 三段式状态机的标准结构

我们以一个经典的“101”序列检测器为例。它有一个串行输入data_in，当检测到连续的“1、0、1”时，输出detect置高一个时钟周期。

第一部分：状态定义与状态寄存器

// 状态定义，使用独热码（One-Hot）或二进制编码 typedef enum logic [2:0] { S_IDLE = 3‘b001, // 空闲 S_GOT1 = 3‘b010, // 收到了1 S_GOT10 = 3‘b100 // 收到了10 } state_t; state_t current_state, next_state; // 状态寄存器：用时序逻辑描述 always @(posedge clk or posedge rst) begin if (rst) begin current_state <= S_IDLE; end else begin current_state <= next_state; end end

这里我们使用了typedef enum来定义状态，这比直接用parameter定义常量更清晰，且利于调试和代码维护。状态寄存器部分非常简单，就是一个标准的带复位的触发器组，其输入是next_state，输出是current_state。

第二部分：次态逻辑：用组合逻辑描述

// 次态逻辑：根据当前状态和输入，决定下一个状态 always_comb begin // SystemVerilog语法，等价于 always @(*) // 先给一个默认值，避免锁存器 next_state = current_state; case (current_state) S_IDLE: begin if (data_in == 1‘b1) next_state = S_GOT1; else next_state = S_IDLE; end S_GOT1: begin if (data_in == 1‘b0) next_state = S_GOT10; else next_state = S_GOT1; // 连续收到1，保持S_GOT1 end S_GOT10: begin if (data_in == 1‘b1) next_state = S_IDLE; // 检测完成，回到空闲 else next_state = S_IDLE; // 序列中断，回到空闲 end default: next_state = S_IDLE; endcase end

次态逻辑是纯组合逻辑，因此使用always_comb（或always @(*)）和阻塞赋值(=)。case语句是描述状态转移最直观的方式。务必为next_state设置默认值，否则在未覆盖的分支下，综合工具会推断出锁存器（Latch），这通常是设计错误，会导致时序问题且难以验证。

第三部分：输出逻辑

输出逻辑可以是摩尔型（输出仅与当前状态有关）或米利型（输出与当前状态和输入有关）。我们设计为摩尔型，仅在S_GOT10状态且输入为1时输出检测成功。

// 输出逻辑：可以是组合逻辑，也可以是时序逻辑（寄存器输出） logic detect; always_comb begin detect = 1‘b0; // 默认输出 if ((current_state == S_GOT10) && (data_in == 1‘b1)) begin detect = 1‘b1; end end

三段式的优势非常明显：结构清晰，各司其职。状态寄存器是纯粹的时序部分；次态和输出逻辑是纯粹的组合部分。这种分离使得代码易于编写、调试、修改和综合。综合工具可以分别对这三部分进行优化，并且时序分析（如建立/保持时间检查）的边界非常明确。

3.2 状态编码的选择与权衡

在上例中我们用了独热码（3‘b001,3‘b010,3‘b100）。状态编码方式直接影响电路的面积和速度：

二进制码：使用最少的触发器（log2(N)个），面积最小。但状态转移可能需要同时改变多个比特，可能导致更多的组合逻辑和更复杂的路径，速度不一定最优，且功耗可能较高。
独热码：使用N个触发器代表N个状态。面积最大，但任何时刻只有一个比特为1。状态转移逻辑通常非常简单（常常只是将“1”移动到相邻的触发器），这能带来更快的速度和更低的动态功耗，在FPGA设计中尤其受欢迎，因为FPGA富含触发器资源。
格雷码：相邻状态间只有一位变化，可以减少状态切换时的毛刺和功耗，常用于异步FIFO的指针设计。

在Verilog中，你可以通过定义parameter或enum时指定编码，但最终的综合结果还受综合工具约束文件（SDC）和优化策略的影响。对于初学者，在FPGA项目中，对少于10个状态的状态机使用独热码是一个稳妥且高效的选择。

4. 典型时序模块的Verilog实现剖析

掌握了基本寄存器建模和FSM框架后，我们可以看看几个更复杂的典型时序模块是如何实现的。这些模块的细节处理，体现了扎实的硬件设计功底。

4.1 同步FIFO的实现要点

FIFO（先进先出队列）是数据流处理中的核心缓冲单元。一个同步FIFO（读写时钟相同）的关键在于读写指针的管理和空满状态的判断。

module sync_fifo #( parameter DATA_WIDTH = 8, parameter ADDR_WIDTH = 4 // FIFO深度为 2**ADDR_WIDTH )( input wire clk, input wire rst_n, input wire wr_en, input wire [DATA_WIDTH-1:0] wr_data, input wire rd_en, output reg [DATA_WIDTH-1:0] rd_data, output reg full, output reg empty ); // 双端口RAM，用于存储数据 reg [DATA_WIDTH-1:0] mem [0:(1<<ADDR_WIDTH)-1]; // 读写指针，比地址多一位，用于判断空满 reg [ADDR_WIDTH:0] wr_ptr, rd_ptr; // 最高位是“绕回标志位” // 写操作 always @(posedge clk or negedge rst_n) begin if (!rst_n) begin wr_ptr <= 0; end else if (wr_en && !full) begin mem[wr_ptr[ADDR_WIDTH-1:0]] <= wr_data; // 用指针低地址位寻址 wr_ptr <= wr_ptr + 1; end end // 读操作 always @(posedge clk or negedge rst_n) begin if (!rst_n) begin rd_ptr <= 0; rd_data <= 0; end else if (rd_en && !empty) begin rd_data <= mem[rd_ptr[ADDR_WIDTH-1:0]]; rd_ptr <= rd_ptr + 1; end end // 空满判断逻辑（组合逻辑或时序逻辑） // 方法：比较指针的最高位和剩余位 wire [ADDR_WIDTH:0] ptr_diff = wr_ptr - rd_ptr; always @(posedge clk or negedge rst_n) begin if (!rst_n) begin full <= 1‘b0; empty <= 1‘b1; end else begin full <= (ptr_diff == (1 << ADDR_WIDTH)); // 指针差值等于深度 empty <= (ptr_diff == 0); end end // 也可以将空满判断写成组合逻辑 assign full = ...; assign empty = ...; // 但寄存器输出能避免组合逻辑产生的毛刺，时序更好。 endmodule

关键点解析：

指针扩展：wr_ptr和rd_ptr的位宽比实际地址ADDR_WIDTH多一位。这多出来的一位可以看作指针在环形地址空间上“绕了一圈”的标志。当读写指针的低位相等但最高位不同时，说明一个指针比另一个多跑了一圈。
空满判断：空状态就是读写指针完全相等（包括最高位）。满状态是读写指针的低位相等，但最高位不同。计算wr_ptr - rd_ptr的差值，如果等于FIFO深度，则为满；等于0，则为空。这种判断方法避免了将指针直接比较时因溢出带来的问题。
输出寄存：将rd_data、full、empty都用寄存器输出，是一个好习惯。这相当于在FIFO的输出端加了一级流水线寄存器，能改善输出时序，避免组合逻辑路径过长影响系统频率。

4.2 计数器与分频器的设计陷阱

计数器和分频器看似简单，但设计不当会导致毛刺和占空比问题。

// 一个常见的错误：试图用组合逻辑生成分频时钟 reg clk_div2; always @(posedge clk) begin clk_div2 <= ~clk_div2; // 这是正确的，生成占空比50%的2分频 end // 如果需要非50%占空比的分频，比如产生一个脉冲 reg [3:0] cnt; reg pulse; always @(posedge clk or posedge rst) begin if (rst) begin cnt <= 4‘d0; pulse <= 1‘b0; end else begin if (cnt == 4‘d9) begin // 计数到9，共10个周期 cnt <= 4‘d0; pulse <= 1‘b1; // 在第10个周期产生一个高电平脉冲 end else begin cnt <= cnt + 1‘b1; pulse <= 1‘b0; end end end

重要经验：在同步数字设计中，应尽量避免使用分频后的时钟去驱动其他触发器。因为分频时钟与原始主时钟是异步关系，会产生时钟域交叉问题。正确的做法是使用“时钟使能”信号。例如，需要每10个周期做一次操作，就生成一个周期宽的使能脉冲pulse，然后在主时钟clk下用这个使能信号去控制其他逻辑：

always @(posedge clk) begin if (pulse) begin // 使用使能脉冲，而非分频时钟 // 执行每10个周期一次的操作 ... end end

这样整个设计都同步在同一个主时钟下，时序分析简单可靠。

4.3 移位寄存器的应用：从串并转换到延迟线

移位寄存器是另一种基础且强大的时序结构。

// 一个简单的串行输入、并行输出的移位寄存器（SIPO） parameter WIDTH = 8; reg [WIDTH-1:0] sipo_reg; always @(posedge clk) begin sipo_reg <= {sipo_reg[WIDTH-2:0], serial_in}; // 左移，低位补入新数据 end // 并行输出就是 sipo_reg // 一个用于信号延迟的移位寄存器（常用于对齐或打拍） reg [STAGES-1:0] delay_line; always @(posedge clk) begin delay_line <= {delay_line[STAGES-2:0], signal_in}; end assign delayed_signal = delay_line[STAGES-1]; // 延迟了STAGES个时钟周期

移位寄存器的Verilog描述非常简洁，利用拼接运算符{}可以轻松实现。在高速数据接收（如UART）中，SIPO用于将串行比特流组装成字节；在数字信号处理中，移位寄存器可以作为抽头延迟线；在跨时钟域处理中，多级寄存器链（实际上就是移位寄存器）是进行同步器设计的核心。

5. 仿真、综合与常见问题排查

写完Verilog代码只是第一步，更重要的是验证其行为是否正确，以及它能否被综合成预期的电路。

5.1 编写有效的测试平台

测试平台（Testbench）也是用Verilog/SystemVerilog写的，但它描述的是仿真环境，不会被综合。其核心是产生激励（时钟、复位、输入信号）并检查输出。

`timescale 1ns/1ps module tb_seq_detector(); reg clk, rst, data_in; wire detect; // 实例化被测设计 seq_detector_101 uut (.*); // 使用 .* 自动连接同名信号 // 生成时钟 initial clk = 0; always #10 clk = ~clk; // 20ns周期，50MHz // 生成激励 initial begin rst = 1‘b1; data_in = 0; #100; // 复位保持一段时间 rst = 1‘b0; // 测试序列：发送 1, 0, 1 @(posedge clk); data_in = 1‘b1; @(posedge clk); data_in = 1‘b0; @(posedge clk); data_in = 1‘b1; // 此时detect应该变高 @(posedge clk); if (detect !== 1‘b1) $error(“Detection failed!”); // 测试错误序列 @(posedge clk); data_in = 1‘b1; @(posedge clk); data_in = 1‘b1; // 连续两个1，不应检测到 @(posedge clk); data_in = 1‘b0; if (detect !== 1‘b0) $error(“False detection!”); #100; $finish; end // 可选：波形dump，用于在如ModelSim、VCS等工具中查看 initial begin $dumpfile(“wave.vcd”); $dumpvars(0, tb_seq_detector); end endmodule

在测试中，使用@(posedge clk)来让激励与时钟沿对齐，这是模拟同步电路行为的可靠方法。使用$error等系统任务来自动化检查，比肉眼查看波形高效得多。

5.2 综合后仿真与门级网表

行为仿真通过后，需要使用综合工具（如Synopsys Design Compiler, FPGA厂商的Vivado/Quartus）将RTL代码转换成门级网表。这个过程可能会暴露出RTL仿真中未发现的问题：

未初始化的寄存器：在FPGA上电时，寄存器的初始值由代码中的复位逻辑或FPGA的配置决定。如果没有明确的复位或初始化值，其行为将是不可预测的。确保所有工作寄存器都有确定的复位状态。
推断出锁存器：在组合逻辑的always块中，如果if或case语句没有覆盖所有分支，且没有给变量赋默认值，综合工具会推断出锁存器来“保持”值。这通常不是设计者的本意，会导致时序问题和额外的面积开销。始终为组合逻辑块中的输出变量设置默认值。
时序违例：综合工具会进行静态时序分析（STA）。如果数据路径延迟太大，在时钟沿到来前数据无法稳定建立（建立时间违例），或者复位释放后数据保持时间不够（保持时间违例），电路将无法正常工作。这需要通过优化逻辑、插入流水线、调整时钟约束等方式解决。

5.3 调试技巧：内嵌逻辑分析仪与代码检查

对于FPGA设计，可以利用厂商提供的内嵌逻辑分析仪（如Xilinx的ILA，Intel的SignalTap）来实时抓取芯片内部信号，这对于调试与外部交互或深度内部状态的问题至关重要。

在代码层面，养成以下习惯能避免很多麻烦：

时钟与复位：确保时钟和复位信号是干净的全局信号，避免用逻辑门产生的信号作为时钟（门控时钟需用专用单元）。复位信号要同步释放，避免亚稳态。
代码风格：坚持使用非阻塞赋值描述时序逻辑，阻塞赋值描述组合逻辑。一个always块里只对单一类型的变量（寄存器或组合逻辑）进行赋值。
工具警告：不要忽视综合和仿真工具给出的警告。很多警告，如“多驱动”、“未连接端口”、“锁存器推断”，都可能是潜在问题的征兆。

描述时序电路的Verilog代码，是连接抽象算法与物理硬件的桥梁。它要求设计者既要有软件编程的逻辑严谨性，又要有硬件工程师的时空观念——时刻清楚每一个信号在每一个时钟沿下的变化。从简单的寄存器到复杂的状态机、FIFO，其核心都在于对时钟沿、寄存器更新和组合逻辑延迟的精确把握。多写、多仿、多综合、多思考，当你能够自然而然地用always @(posedge clk)来构思功能时，你就真正入门了硬件描述语言的设计世界。