1. 项目概述：模型机设计与实现
在计算机体系结构课程中，模型机设计是理解计算机工作原理的经典实践项目。HNU的这份期末大作业要求学生从零开始构建一个具备完整指令集的模型计算机系统，涵盖数据通路设计、控制单元实现、指令集架构定义等核心环节。不同于简单的理论验证，这个项目强调硬件描述语言（HDL）实现与功能仿真，最终需要提交可运行的模型机代码和详细设计文档。
我去年指导过三组学生完成类似项目，发现最大的挑战在于平衡理论严谨性与工程可实现性。很多同学初期会陷入"过度设计"的误区，比如设计过于复杂的流水线结构，结果连基本指令都无法正确执行。实际上，成功的模型机应该像瑞士军刀——功能明确、结构简洁、各部件协同高效。下面分享一套经过验证的实现方案。
2. 核心架构设计
2.1 指令集设计要点
建议采用RISC风格的8位基础指令集，包含15条核心指令：
code复制数据传输类：MOV, LOAD, STORE
运算类：ADD, SUB, AND, OR, NOT
控制类：JMP, JZ, JC, CALL, RET
其他：NOP, HALT
指令编码采用固定4位操作码+4位操作数的格式。例如ADD R1,R2编码为0001 0001 0010（前4位操作码，中间4位目标寄存器，最后4位源寄存器）。这种设计既保证指令解码简单，又留有扩展空间。
关键技巧：用Excel制作指令编码表，标注二进制编码、助记符和功能描述，后期调试时可快速对照查错。
2.2 数据通路设计
经典五段式结构经过简化后特别适合教学模型：
code复制[指令存储器] → [取指] → [译码] → [执行] → [访存] → [写回]
↑(PC) ↑(寄存器堆) ↑(ALU)
关键组件实现要点：
- 寄存器堆：用16个8位寄存器实现，其中R15固定为PC
- ALU：支持加减、逻辑运算和零标志/进位标志生成
- 内存：统一编址的256B空间，前64B预存程序，其余作数据区
2.3 控制单元实现方案
推荐用有限状态机(FSM)实现控制逻辑，典型状态包括：
- 取指：将PC指向的指令读入IR
- 译码：解析操作码和操作数
- 执行：ALU运算或地址计算
- 访存：数据加载/存储
- 写回：结果存入寄存器
Verilog实现模板：
verilog复制always @(posedge clk) begin
case(state)
FETCH: begin
IR <= mem[PC];
PC <= PC + 1;
state <= DECODE;
end
DECODE: begin
// 解析IR[7:4]和IR[3:0]
state <= EXECUTE;
end
// 其他状态...
endcase
end
3. 开发工具链搭建
3.1 工具选型建议
- HDL语言：Verilog更适合教学（比VHDL语法简洁）
- 仿真工具：ModelSim或Icarus Verilog（开源）
- 调试辅助：GTKWave查看波形，Python脚本自动化测试
3.2 测试程序设计
编写测试程序时应覆盖以下场景：
- 数据通路测试：
MOV R1,0x55 → ADD R1,0xAA → STORE [0x80],R1 - 控制流测试：循环10次的计数器程序
- 边界测试：寄存器溢出、内存越界访问
示例测试程序：
code复制ORG 0x00
MOV R1, 0
LOOP:
ADD R1, 1
JZ R1, END
JMP LOOP
END:
HALT
4. 常见问题与调试技巧
4.1 典型错误排查表
| 现象 | 可能原因 | 排查方法 |
|---|---|---|
| 仿真卡死在取指阶段 | PC未正确递增 | 检查PC更新逻辑和时钟连接 |
| ALU结果错误 | 操作数位宽不匹配 | 确认所有输入输出均为8位 |
| 内存读写异常 | 地址线连接错误 | 用$display打印地址总线值 |
4.2 调试经验分享
- 分阶段验证：先单独测试ALU模块，再集成到数据通路
- 波形分析：重点观察指令周期内各控制信号的变化时序
- 防御性编程：对所有存储器访问添加边界检查
- 日志输出：在关键状态添加
$display打印调试信息
5. 性能优化方向（进阶）
完成基础功能后，可尝试以下扩展：
- 增加中断处理机制
- 实现两级流水线（注意处理数据冒险）
- 添加移位指令和乘法指令
- 设计汇编器将助记符转为机器码
流水线冲突处理示例：
verilog复制// 数据前推逻辑
if (EX_MEM_RegWrite && (EX_MEM_RegisterRd == ID_EX_RegisterRs))
ForwardA = 2'b10; // 前推EX段结果
else if (MEM_WB_RegWrite && (MEM_WB_RegisterRd == ID_EX_RegisterRs))
ForwardA = 2'b01; // 前推MEM段结果
这个项目最让我印象深刻的是调试数据通路时的"灯泡时刻"——当所有控制信号像交响乐般精确配合，第一条指令终于正确执行时，那种成就感远超分数本身。建议学弟学妹们在保证基础功能完整的前提下，尝试至少一个创新点，比如用LED灯实时显示CPU状态，这会让你的答辩演示脱颖而出。