简介面向计算机组成原理课程设计与硬件验证学习者这份华中科技大学课程设计资料围绕 Verilog CPU 流水线展开覆盖取指、译码、执行、访存、写回等阶段并实现插入气泡、数据重定向与多级嵌套中断等关键机制适合用来理解流水线冲突处理、中断响应流程以及从仿真到上板的完整链路。压缩包共 345 个文件约 31.39MB包含 25 个 v 源码、166 个 xml 工程与约束配置、30 个 rpt 综合实现报告以及 dcp、bit、tcl、jou、log 等 Vivado 工程产物可对照源码、报告和脚本复现设计流程。已有 1949 人学习下载读者可从中获得可运行的流水线 CPU 源码、测试与上板验证素材、综合实现结果及排错参考便于按模块拆解学习并用于同类课程设计。1. 需求先摆清楚一条 load 指令后紧跟 ADD流水线到底该停几个周期课设任务书上写着四件事五级流水、插入气泡、数据重定向、多级嵌套中断。真正动笔写代码时才发现这四件事并不是四个独立的模块——load-use 冒险要停一拍气泡插进 IF/ID 的同时 PC 要不要冻结、分支在 ID 段判定又撞上中断请求这几个信号会在同一个时钟沿打架。我见过不少同学的 CPU 单跑指令流没问题一开中断就飞或者 SUB 紧跟在 LW 后面结果偶尔错。这套方案就围绕这个场景展开用 Verilog 搭一颗五级流水 CPU把冒险处理气泡 重定向和可嵌套的多级中断做进同一套控制逻辑里配套仿真用例和波形验收点。适合正在做计算机组成原理课程设计、需要交一份能跑通、能讲明白的 CPU 源码的同学也适合想把流水线控制单元重写一遍的从业者参考结构。2. 总体架构设计五级流水数据通路与八个模块的职责划分2.1 从单周期到五级流水拆段依据与四组流水寄存器单周期 CPU 的临界路径太长取指、译码、执行、访存、写回串成一条组合逻辑链时钟周期被最慢的那条路径通常是 ALU 数据存储器锁死。拆成五级之后每段只做一件事时钟周期由最长的一段决定理想情况下吞吐量提升接近五倍。代价是引入流水寄存器以及随之而来的一切冒险问题。拆段的粒度按功能而非按延迟来切是课程设计里比较稳妥的做法IF 段只管把 PC 送进指令存储器并锁存指令ID 段译码、读通用寄存器、生成本条指令的全部控制信号EX 段走 ALU 和分支判定MEM 段访问数据存储器WB 段把结果写回寄存器堆。关键决策是控制信号的传递方式。有两种写法一种在 EX 段重新译码另一种在 ID 段一次性生成全部控制信号让它们跟着流水寄存器往下走。我一般选后者因为控制信号一旦随指令流动后面每段只看自己那组信号逻辑清晰中断时冲刷流水也不会出现信号与指令错位。四组流水寄存器分别是if_id_reg、id_ex_reg、ex_mem_reg、mem_wb_reg每组内部既有数据通路指令、操作数、ALU 结果也有控制通路RegWrite、MemRead、MemWrite、MemToReg、ALUOp 等。提示流水寄存器里的控制信号一定要跟着数据一起被冲刷。只要漏掉一个控制位就会出现“指令被清掉了但写使能还在”的诡异现象寄存器堆被莫名其妙地改写。2.2 模块划分与顶层例化关系整个 CPU 拆成八个模块职责边界划清楚之后调试可以一个模块一个模块地打波形。模块职责关键输入输出pc_reg程序计数器支持正常 4、分支跳转、中断跳转、冻结pc_next、pc_stallimem指令存储器256×32 位组合读addr→instrregfile32 个 32 位通用寄存器两个读口一个写口rs/rt/rd、weid_ctrl主控单元按 opcode/funct 产生全部控制信号instr→ 控制总线alu算术逻辑单元支持 8 种运算a、b、alu_op→ydmem数据存储器256×32 位addr、wehazard_unit冒险检测产出冻结与冲刷信号、重定向前递选择见第 3 章intc中断控制器优先级仲裁、嵌套栈管理见第 4 章顶层只做例化和连线不放任何逻辑判断。这条规矩看起来是形式主义实际调试时价值极大当你在波形里看到 PC 冻结了但 IF/ID 没清空可以立刻定位到是hazard_unit的输出接错了而不是在几千行的顶层里翻。// 顶层只做例化与连线不写判断逻辑 cpu_top u_cpu ( .clk (clk), .rst_n (rst_n), .irq (irq), // 4 路外部中断请求 .pc (pc_dbg), // 引到顶层便于波形观察 .instr (instr_dbg), .alu_result (alu_dbg) ); // 流水寄存器的更新统一由一个 always 块驱动避免多驱动 always (posedge clk or negedge rst_n) begin if (!rst_n) begin if_id_reg 64d0; id_ex_reg 128d0; ex_mem_reg 128d0; mem_wb_reg 128d0; end else begin // stall 时保持flush 时清空否则正常推进 if_id_reg if_id_flush ? 64d0 : (if_id_stall ? if_id_reg : if_id_next); id_ex_reg id_ex_flush ? 128d0 : (id_ex_stall ? id_ex_reg : id_ex_next); ex_mem_reg ex_mem_flush ? 128d0 : ex_mem_next; mem_wb_reg mem_wb_next; end end这段代码里stall和flush是两组语义完全不同的信号混淆它们是新手最常犯的错。stall表示“保持当前值不变”用于 load-use 冒险时冻结 PC 和 IF/IDflush表示“清成 NOP”用于分支跳转和中断响应时把取错路的指令冲掉。同一个流水寄存器可能同时需要这两种行为优先级必须先 flush 后 stall——因为跳转发生时冲掉错误指令比保持更重要。2.3 关键参数与控制信号定义参数定死之后后面所有模块位宽对齐不会出现“EX 段 32 位、MEM 段 31 位”的低级错误。参数取值说明DATA_WIDTH32数据与地址位宽REG_NUM32通用寄存器个数5 位地址IMEM_DEPTH256指令存储器字数DMEM_DEPTH256数据存储器字数IRQ_NUM4中断源数量NEST_DEPTH3中断嵌套最大深度控制信号一共 9 位在 ID 段一次性生成RegDst写回目标选择 rd/rt、ALUSrc第二操作数来自寄存器还是立即数、MemToReg写回数据来自 ALU 还是存储器、RegWrite、MemRead、MemWrite、Branch、Jump、ALUOp[2:0]。这 9 位被打包进id_ex_reg、ex_mem_reg、mem_wb_reg一路下传任何一段需要使用时直接从本段寄存器取不再回头查指令。3. 流水线冒险处理插入气泡与重定向的判定逻辑3.1 三类冒险的判定条件与处理策略选择结构冒险在这套设计里被哈佛结构规避掉了指令存储器和数据存储器物理分离IF 段取指和 MEM 段访存不会争同一个端口的读写口。如果强行用统一存储器就得在 MEM 段插入气泡让路性能损失明显课设里没有必要给自己增加难度。数据冒险是重头戏。RAW写后读分两种情况一种是运算结果在 EX 段末尾已经算出来下一条指令在 EX 段开头就要用这种靠重定向就能解决不用停另一种是 load 指令数据要到 MEM 段结束才从存储器里出来下一条指令在 EX 段开头无论如何拿不到必须停一拍。这就是 load-use 冒险也是“插入气泡”这个功能存在的唯一理由。控制冒险来自分支和跳转。这套设计把分支判定提前到 ID 段ID 段有译码后的寄存器值和符号扩展后的立即数用一个小加法器算目标地址比在 EX 段判定少损失一个周期。代价是 ID 段多一个比较器和加法器面积上完全可接受。分支成立时冲刷 IF/ID只损失一条已经取进来的指令。三类冒险的判定条件汇总如下这是写hazard_unit之前必须先想清楚的表冒险类型判定条件处理动作EX/MEM 转发ex_mem_reg_write ex_mem_rd ! 0 ex_mem_rd id_ex_rsforward_a 2b10MEM/WB 转发mem_wb_reg_write mem_wb_rd ! 0 mem_wb_rd id_ex_rsforward_a 2b01load-useid_ex_mem_read (id_ex_rt if_id_rs || id_ex_rt if_id_rt)冻结 PC、清空 ID/EX分支冲刷ID 段branch_taken || jump清空 IF/ID注意rd ! 0这个条件。寄存器 0 是硬连线到 0 的任何指令写$0都被丢弃但如果你不判断转发逻辑会把$0的“写入值”转给后面的指令结果读到的是垃圾。这个坑我在第一次写转发单元时就踩过仿真跑出来ADD $t0, $zero, $zero之后所有结果都变成 X。3.2 重定向单元的优先级编码转发本质上是一个三选一的多路选择器正常读寄存器堆、从 EX/MEM 段转发、从 MEM/WB 段转发。优先级必须 EX/MEM 高于 MEM/WB因为 EX/MEM 是更新的结果。如果两条指令连着写同一个寄存器MEM/WB 里的是旧值转发它会拿到过期数据。// 重定向前递单元EX/MEM 优先级高于 MEM/WB module forwarding_unit ( input [4:0] id_ex_rs, id_ex_rt, // EX 段当前指令的源寄存器 input [4:0] ex_mem_rd, mem_wb_rd, // 前两级的目的寄存器 input ex_mem_reg_write, // EX/MEM 段是否要写寄存器 input mem_wb_reg_write, // MEM/WB 段是否要写寄存器 output reg [1:0] forward_a, forward_b ); always (*) begin // A 口优先 EX/MEM其次 MEM/WB否则取寄存器堆 if (ex_mem_reg_write (ex_mem_rd ! 5d0) (ex_mem_rd id_ex_rs)) forward_a 2b10; else if (mem_wb_reg_write (mem_wb_rd ! 5d0) (mem_wb_rd id_ex_rs)) forward_a 2b01; else forward_a 2b00; // B 口逻辑相同比较对象换成 id_ex_rt if (ex_mem_reg_write (ex_mem_rd ! 5d0) (ex_mem_rd id_ex_rt)) forward_b 2b10; else if (mem_wb_reg_write (mem_wb_rd ! 5d0) (mem_wb_rd id_ex_rt)) forward_b 2b01; else forward_b 2b00; end endmoduleforward_a的编码约定2b00取寄存器堆输出2b01取mem_wb_reg里的写回值2b10取ex_mem_reg里的 ALU 结果。这三个值送到 EX 段 ALU 输入端的两个多路选择器上。注意2b01那条路径取的应该是mem_wb段的写回数据已经过了 MemToReg 选择而不是 ALU 结果——如果 load 指令后面紧跟一条用该数据的指令MEM/WB 里装的是存储器读出的值取 ALU 结果就错了。这段逻辑还有一个容易忽略的细节id_ex_rt在lw指令里是目的寄存器但在sw指令里是源寄存器要存的数据。转发判断必须知道当前指令的 rt 到底是源还是目的否则sw会拿到错误的数据。通常的做法是在 ID 段产生一个id_ex_rt_is_src标志跟着流水寄存器下传判断 B 口转发时把它加上。3.3 插入气泡Hazard Unit 与 IF/ID 冲刷的联动load-use 冒险的处理不是“停一个周期”这么简单它要同时做三件事冻结 PC否则取下一条指令、冻结 IF/ID保持当前指令继续译码、清空 ID/EX把已经进到 EX 段的指令变成 NOP。少做任何一件结果都不对。// 冒险检测load-use 只停一拍 module hazard_unit ( input [4:0] if_id_rs, if_id_rt, // ID 段指令的源寄存器 input [4:0] id_ex_rt, // EX 段指令的目的寄存器 input id_ex_mem_read, // EX 段是 load 指令 input branch_taken, jump, // 分支/跳转成立 output reg pc_stall, if_id_stall, output reg id_ex_flush, if_id_flush ); wire load_use id_ex_mem_read ((id_ex_rt if_id_rs) || (id_ex_rt if_id_rt)); always (*) begin // 默认全部放开 pc_stall 1b0; if_id_stall 1b0; id_ex_flush 1b0; if_id_flush 1b0; if (load_use) begin pc_stall 1b1; // PC 保持不取下一条 if_id_stall 1b1; // ID 段指令原地等待 id_ex_flush 1b1; // EX 段插入气泡NOP end else if (branch_taken || jump) begin if_id_flush 1b1; // 分支成立冲掉错误路径指令 end end endmodule这里if_id_flush和if_id_stall是互斥的if/else if的写法保证了这一点。如果把两者写成并列的if分支和 load-use 同时发生时会同时置位而流水寄存器里 flush 的优先级高于 stall结果就是本该冻结的指令被清掉了程序直接跑飞。pc_stall拉高的那一个周期PC 不更新IF/ID 保持ID/EX 被清成 NOP。下一个周期load_use条件自然消失因为 EX 段已经变成 NOP 了流水线恢复推进。所以 load-use 永远只停一拍不需要计数器。如果出现“停两拍”的现象说明清空 ID/EX 的那一拍没生效id_ex_mem_read还在条件一直成立——这时候去波形里看id_ex_flush是不是真的拉高了一个周期。3.4 手算验证用一段六条指令的序列核对每拍结果光看代码看不出对错我习惯在写测试激励之前先手算一遍关键寄存器在每一拍的期望值仿真出来逐拍对照。测试序列LW $t0, 0($s0) # I1load结果在 MEM 段末尾可用 ADD $t1, $t0, $s1 # I2依赖 I1必须停一拍 SUB $t2, $t1, $s2 # I3依赖 I2靠 EX/MEM 转发 AND $t3, $t2, $s3 # I4依赖 I3靠 MEM/WB 转发 SW $t3, 4($s0) # I5依赖 I4rt 是源寄存器 BEQ $t1, $t2, L1 # I6分支ID 段判定期望的流水行为I1 在 EX 段时检测到与 I2 的 load-use 关系停一拍I2 的 EX 段拿到的是 MEM 段转发来的 load 数据I3 依赖 I2 的 ALU 结果走 EX/MEM 转发I4 依赖 I3走 MEM/WB 转发这里正好检验优先级——如果转发单元把 EX/MEM 的优先级写反了I4 会拿到 I2 的结果而不是 I3 的。把这段序列对应的十六进制机器码烧进imem跑 20 个周期逐拍检查regfile里$t1、$t2、$t3的值。三个值全对说明气泡和重定向的主路径是通的。再故意把转发优先级改错看仿真结果是否如预期出错——这个反向验证能确认你的测试用例真的有区分度而不是碰巧对了。4. 多级嵌套中断中断控制器与现场保护机制4.1 中断源优先级与嵌套深度设计四个中断源按固定优先级仲裁编号 0 最高、3 最低。每个中断源有一位的屏蔽寄存器由软件写irq_mask控制。嵌套深度定成 3 级实现上用一个深度为 3 的硬件栈保存现场不占用数据存储器——中断响应必须足够快走存储器压栈会把响应延迟拉长到十几个周期。中断源优先级典型用途是否可被嵌套irq[0]最高定时器溢出不可被低优先级打断irq[1]高外设就绪可被 irq[0] 嵌套irq[2]中串口收发可被 irq[0..1] 嵌套irq[3]低按键输入可被任意更高优先级嵌套仲裁逻辑在intc模块里只做一件事从当前未屏蔽且比当前运行优先级更高的请求中挑出编号最小的那个产生irq_taken和irq_id。屏蔽分两层一层是软件写的irq_mask另一层是响应中断时自动置位的“当前优先级阈值”——只有优先级高于阈值的新请求才能打断当前中断这是实现嵌套的关键。4.2 中断响应流程六步走完一步都不能省中断响应发生在一条指令“提交”的时刻也就是 MEM 段结束、WB 段开始之前。选这个时间点是为了保证精确中断中断前的所有指令全部执行完中断后的指令一条都没执行返回后从断点继续语义干净。响应流程按顺序是在 MEM 段检测irq_taken若成立则冻结 PC 与 IF/ID把当前指令的 PC 值写入硬件栈顶作为 EPC把当前优先级阈值压栈同时把阈值更新为本次中断的优先级清空 ID/EX、EX/MEM 两级流水寄存器冲掉未提交的指令把 PC 置为中断向量地址0x0000_0100 irq_id * 4置位全局中断使能允许更高优先级嵌套。中断返回指令ERET走反向流程从栈顶弹出 EPC 和旧阈值恢复 PC 和优先级同时清空流水线。这里有个顺序问题必须注意——EPC 的弹出和 PC 的更新必须在同一个周期完成如果分两拍中间那一拍会取到错误的指令。注意ERET本身也是一条要走完流水的指令。如果它在 MEM 段弹出 EPC 并更新 PC那么它后面已经取进来的两条指令必须被冲掉if_id_flush和id_ex_flush要同时置位。4.3 中断控制器的 Verilog 实现// 中断控制器固定优先级仲裁 3 级硬件栈 module intc ( input clk, input rst_n, input [3:0] irq, // 外部中断请求电平有效 input [3:0] irq_mask, // 软件屏蔽位1 表示屏蔽 input irq_ack, // 来自 CPU本拍响应中断 input eret, // 来自 CPU中断返回 input [31:0] epc_in, // 来自 CPU断点 PC output reg irq_taken, output reg [1:0] irq_id, output reg [31:0] epc_out, output reg [1:0] cur_prio, // 当前运行优先级阈值 output stack_overflow ); reg [31:0] epc_stack [0:2]; // 深度 3 的 EPC 栈 reg [1:0] prio_stack[0:2]; reg [1:0] sp; // 栈指针0 表示空 // 仲裁找出未屏蔽且优先级高于当前阈值的最小号请求 integer i; reg found; always (*) begin irq_taken 1b0; irq_id 2d0; found 1b0; for (i 3; i 0; i i - 1) begin // 从低号往高号扫后写覆盖前写最终留下编号最小的 if (irq[i] !irq_mask[i] ({1b0, i[1:0]} cur_prio || cur_prio 2d3)) begin irq_taken 1b1; irq_id i[1:0]; found 1b1; end end end // 栈操作响应时压栈ERET 时弹栈 always (posedge clk or negedge rst_n) begin if (!rst_n) begin sp 2d0; cur_prio 2d3; // 复位后优先级最低任何中断都能进 epc_out 32d0; end else if (irq_taken irq_ack sp 2d3) begin epc_stack[sp] epc_in; // 保存断点 prio_stack[sp] cur_prio; // 保存旧阈值 cur_prio irq_id; // 抬高阈值屏蔽同级与低级 sp sp 2d1; end else if (eret sp 2d0) begin sp sp - 2d1; epc_out epc_stack[sp - 2d1]; // 弹出断点 cur_prio prio_stack[sp - 2d1]; // 恢复旧阈值 end end assign stack_overflow (sp 2d3) irq_taken irq_ack; endmodule仲裁那段for循环的写法值得多说一句。从 3 扫到 0、用后写覆盖前写最后留下的是编号最小优先级最高的那个这是 Verilog 里实现固定优先级仲裁的常见技巧综合出来是一串级联的与或逻辑。条件里的cur_prio 2d3是复位后的特例初始阈值设成 3最低此时任何中断都该能进而i cur_prio在i 3时不成立所以单独放行。epc_out只在eret那一拍有效CPU 侧必须用组合逻辑直接把它接到 PC 的下一值选择器上不能等到下一个时钟沿——中间隔一拍PC 就已经跑到别处去了。stack_overflow用于指示嵌套深度超限正常调试时用它触发一个断言比事后翻波形高效得多。4.4 中断与流水线的交互为什么响应点必须放在 MEM 段中断响应点的选择直接决定“精确中断”能不能成立。放在 IF 段此时流水线里还有四条指令没执行完中断返回后这四条要重新取程序语义上没问题但如果是存储器写指令可能已经写了一半无法回滚。放在 WB 段所有指令都执行完了但响应延迟变成四个周期定时器中断的实时性会受影响。折中方案是放在 MEM 段末尾此时前面的指令都已提交写寄存器、写存储器都已完成后面的指令还在 EX/ID/IF 里没产生副作用冲掉即可不需要回滚任何状态。代价是响应延迟两个周期对课设的定时器中断完全够用。提示中断响应时必须同时冻结 PC 和冲刷流水。只冲刷不冻结PC 会在中断处理的第一个周期继续 4 取指把中断服务程序的第一条指令跳过去。5. 避坑清单五类能在答辩现场让 CPU 突然失效的问题5.1 流水线仿真结果对不上的三类典型现象现象一ADD紧跟在LW后面结果偶尔正确偶尔错误。原因通常是气泡插了但id_ex_flush只清数据通路没清控制信号或者清的控制信号里漏了MemToReg导致下一拍写回的是 ALU 结果而不是存储器数据。解决方法很直接把id_ex_reg里所有控制位列一张清单逐位核对是否被 flush 覆盖这类漏项用眼扫一遍就能发现比看波形快。现象二转发开启后连续三条写同一寄存器的指令结果全乱。原因是转发优先级写反MEM/WB 反而压过了 EX/MEM。判定方法是看波形里forward_a在连续依赖时的取值正确的应该是2b10如果出现2b01就是if / else if的顺序反了。还有一种可能是比较时用了id_ex_rs去比mem_wb_rd却忘了mem_wb段的目的寄存器可能是rtlw指令需要先经过RegDst选择再比较。现象三分支指令后面的那条指令被执行了。这是延迟槽语义和冲刷逻辑冲突。如果你的设计不采用延迟槽分支成立时必须把 IF/ID 清掉如果采用了延迟槽就不能清要让紧跟的那条指令正常走完。两种设计都对混着来就错。我一般选不采用延迟槽逻辑简单代价是损失一个周期课设评分里不影响。5.2 中断调试与综合上板的四类现象现象四开中断后第一次能返回第二次返回地址就偏了。原因多半是 EPC 保存的是PC 4而不是当前指令 PC。响应发生在 MEM 段此时 PC 已经指向后面好几条指令了如果直接拿pc信号当 EPC返回到的是未来的地址。正确做法是在流水寄存器里一路把当前指令的 PC 带下来MEM 段直接用ex_mem_pc压栈。现象五嵌套中断进来后外层中断的现场丢失。说明只有一组 EPC 和阈值寄存器没有栈。单层中断用一组寄存器够用一旦嵌套第二次响应会覆盖第一次的 EPC返回时跳到内层断点外层永远回不去。改成深度为 3 的硬件栈栈指针跟着响应和返回增减问题立刻消失。现象六仿真全对综合后上板跑飞。常见原因是寄存器堆没有复位。仿真时寄存器初值是 X你的测试激励恰好先写后读看不出问题上板后 X 态在真实电路里会传播读到的值是随机的。解决方法是在regfile的复位分支里加一个循环清零虽然综合工具会警告“复位扇出过大”但课设规模下完全可接受。另一个原因是组合逻辑里的case没写default综合出锁存器时序分析通不过。6. 验收与答辩用三张表把方案讲成一条完整的线验收的核心不是“我的 CPU 能跑”而是“我能证明它在什么情况下一定对”。我一般准备三张表答辩时按顺序讲评委的追问基本都落在表里。第一张是功能覆盖表把任务书要求的四个点逐一对应到模块和测试用例功能点实现模块验证用例通过判据五级流水cpu_top 四组流水寄存器20 条无相关指令连续执行20 拍后 20 条全部写回IPC 1插入气泡hazard_unitLWADD相邻pc_stall高电平 1 拍$t1值正确数据重定向forwarding_unitADD→SUB→AND三级依赖forward_a依次为 10、01多级嵌套中断intc低优先级中断执行中触发高优先级两次压栈、两次正确返回第二张是时序对照表把第 3.4 节手算的期望值录进去仿真波形截图逐拍标号。答辩时最容易被问“你怎么知道这里是对的”答案就是“我提前算过波形第 12 拍的$t2应该是 0x0000_0015截图里就是”。这张表能把“我看着像对的”变成“我验证过是对的”。第三张是失败注入表主动说明你测过哪些错误场景把转发优先级改反会错在哪、把id_ex_flush去掉会错在哪、把 EPC 换成当前 PC 会错在哪。评委问“如果这里改了会怎样”你能立刻答出来说明你是真懂而不是背下来的。提示答辩现场不要一上来就放代码。先放一张流水线时空图用不同颜色标出五级指着说“这条 LW 在这里停了一拍因为下一条要用它的数据”比讲十分钟信号名有效得多。最后给一个我自己的习惯每次提交之前把rst_n拉低跑满 10 个周期再放开观察复位释放后第一个取指周期 PC 是不是 0、if_id_reg是不是全 0。这个动作花不了两分钟但救过我两次——有一次pc_reg的复位值写成了 32hFFFF_FFFF仿真里因为存储器越界读返回 0 没暴露上板直接跑飞。从那以后我每次改完流水寄存器都强制走一遍这个复位自检希望帮到你。本文还有配套的精品资源点击获取