Verilog Style

复位规范

// ✅ 推荐：异步复位，同步释放（FPGA 通用）
always @(posedge clk or negedge rst_n)
    if (!rst_n)
        q <= 'd0;
    else
        q <= d;

// ✅ 高电平复位（IC 常用）
always @(posedge clk or posedge reset)
    if (reset)
        q <= 'd0;
    else
        q <= d;

// ❌ 避免：在 always 块中混用多种复位

状态机规范（三段式）

// 第一段：状态寄存器（时序逻辑）
always @(posedge clk or negedge rst_n)
    if (!rst_n) state <= IDLE;
    else        state <= state_next;

// 第二段：次态逻辑（组合逻辑）
always @(*) begin
    state_next = state;  // 默认保持
    case (state)
        IDLE: if (start) state_next = WORK;
        WORK: if (done)  state_next = IDLE;
    endcase
end

// 第三段：输出逻辑（组合或时序）
always @(*) begin
    out = 1'b0;   // 默认值，防止 latch
    case (state)
        WORK: out = 1'b1;
    endcase
end

跨时钟域（CDC）规范

// 单 bit CDC：打两拍同步
always @(posedge dst_clk or negedge rst_n)
    if (!rst_n) {sync2, sync1} <= 2'b0;
    else        {sync2, sync1} <= {sync1, src_signal};

// 多 bit CDC：必须使用格雷码（见 async_fifo 实现）
// 禁止：直接将多 bit 二进制直接跨时钟域传输

综合友好写法

// ✅ 推荐：参数化
module my_module #(
    parameter DATA_WIDTH = 8,
    parameter DEPTH      = 16
)(
    input  [DATA_WIDTH-1:0] din,
    output [DATA_WIDTH-1:0] dout
);

// ✅ 推荐：明确位宽
assign full = (wr_ptr[ADDR_WIDTH] != rd_ptr[ADDR_WIDTH]) &&
              (wr_ptr[ADDR_WIDTH-1:0] == rd_ptr[ADDR_WIDTH-1:0]);

// ❌ 避免：隐式位宽截断
// ❌ 避免：在组合逻辑中使用不完整的 case（会产生 latch）
// ❌ 避免：阻塞赋值（=）用于时序逻辑
// ❌ 避免：非阻塞赋值（<=）用于组合逻辑

文件结构规范

XX. <module_name>/
├── <module_name>.v       # 主模块
├── <module_name>_tb.v    # Testbench
└── (可选) sub_module.v   # 子模块

代码审查检查点

在提交代码前，确认：

• 所有 always 块都有完整的敏感信号列表（或用 *）
• 组合逻辑 case 有 default 分支
• 没有多驱动（multiple driver）问题
• 参数全部大写
• 跨时钟域信号已打两拍同步
• 复位信号覆盖所有寄存器初始值