第33课 · 存储控制器
SRAMFlash存储接口
📌 学习目标:理解 SRAM 和 Flash 存储器接口时序,实现简化的 SRAM 控制器,通过 Verilator 验证读写操作。
一、存储器类型
| 类型 | 易失性 | 速度 | 接口 |
| SRAM | 易失 | 快 | 并行 |
| DRAM | 易失 | 中 | 行列复用 |
| NOR Flash | 非易失 | 中 | 并行/SPI |
| NAND Flash | 非易失 | 慢 | 串行 |
二、SRAM 接口时序
同步SRAM:clk, addr, din, dout, cs_n, we_n, oe_n
读:addr→cs=0,oe=0→dout有效
写:addr+din→cs=0,we=0→写入
Verilog 实现
"keyword">module sram_controller (
"keyword">input clk, rst,
"keyword">input [15:0] addr,
"keyword">input [31:0] wdata,
"keyword">input wen, ren,
"keyword">output "keyword">reg [31:0] rdata,
"keyword">output "keyword">reg ready,
"keyword">output "keyword">reg [15:0] sram_addr,
"keyword">output "keyword">reg [31:0] sram_wdata,
"keyword">output "keyword">reg sram_we, sram_oe, sram_cs,
"keyword">input [31:0] sram_rdata
);
"keyword">reg [31:0] sram_mem [0:255];
"keyword">reg [1:0] state;
"keyword">localparam S_IDLE=0,S_READ=1,S_WRITE=2;
"keyword">always @("keyword">posedge clk "keyword">or "keyword">posedge rst) "keyword">begin
"keyword">if (rst) "keyword">begin state<=0;rdata<=0;ready<=1;sram_addr<=0;sram_wdata<=0;sram_we<=0;sram_oe<=0;sram_cs<=1; "keyword">end
"keyword">else "keyword">begin
sram_we<=0;sram_oe<=0;sram_cs<=1;ready<=0;
"keyword">case (state)
0: "keyword">begin ready<=1;
"keyword">if (ren) "keyword">begin sram_addr<=addr;sram_cs<=0;sram_oe<=0;state<=1; "keyword">end
"keyword">else "keyword">if (wen) "keyword">begin sram_addr<=addr;sram_wdata<=wdata;sram_cs<=0;sram_we<=1;sram_mem[addr[7:0]]<=wdata;state<=2; "keyword">end "keyword">end
1: "keyword">begin rdata<=sram_mem[sram_addr[7:0]];state<=0;ready<=1; "keyword">end
2: "keyword">begin state<=0;ready<=1; "keyword">end
"keyword">endcase
"keyword">end
"keyword">end
"keyword">endmodule
测试台
"keyword">module tb_sram_controller;
"keyword">reg clk,rst; "keyword">reg [15:0] addr; "keyword">reg [31:0] wdata; "keyword">reg wen,ren;
"keyword">wire [31:0] rdata; "keyword">wire ready; "keyword">wire [15:0] sram_addr; "keyword">wire [31:0] sram_wdata;
"keyword">wire sram_we,sram_oe,sram_cs; "keyword">reg [31:0] sram_rdata;
sram_controller uut(.*); "keyword">assign sram_rdata=0;
"keyword">integer pass=0,fail=0;
"keyword">always #5 clk=~clk;
"keyword">initial "keyword">begin
clk=0;rst=1;addr=0;wdata=0;wen=0;ren=0;#12;rst=0;#10;
addr=16'h4;wdata=32'hDEADBEEF;wen=1;#10;wen=0;#10;
addr=16'h8;wdata=32'hCAFEBABE;wen=1;#10;wen=0;#10;
addr=16'h4;ren=1;#10;ren=0;#10;
"keyword">if (rdata===32'hDEADBEEF) pass=pass+1; "keyword">else "keyword">begin $display("FAIL1"); fail=fail+1; "keyword">end
addr=16'h8;ren=1;#10;ren=0;#10;
"keyword">if (rdata===32'hCAFEBABE) pass=pass+1; "keyword">else "keyword">begin $display("FAIL2"); fail=fail+1; "keyword">end
$display("========================================");
$display("SRAM控制器测试: PASS=%0d FAIL=%0d",pass,fail);
"keyword">if (fail==0) $display("✅ SRAM读写操作全部正确!"); "keyword">else $display("❌ 存在失败!");
$display("========================================"); $finish;
"keyword">end
"keyword">endmodule
Verilator 编译与运行
verilator --cc sram_controller.v --exe tb_sram_controller.v --build --top-module tb_sram_controller
./obj_dir/Vtb_sram_controller
📌 扩展阅读
本课的核心概念在实际工程中有广泛应用:
- 在芯片设计中,模块化设计方法至关重要——每个 IP 核都有清晰的接口定义
- 仿真验证是确保设计正确性的关键步骤,Verilator 是工业界广泛使用的开源工具
- 时序约束和综合优化直接影响芯片的性能和功耗表现
- 形式验证和断言检查可以显著提高设计可靠性,减少流片后的 bug
🔧 调试技巧
在开发本课模块时,常见问题和解决方法:
- 仿真不收敛:检查组合逻辑是否形成了环路(combinational loop)
- 时序违例:添加流水线寄存器切断关键路径,或降低工作频率
- 资源超标:使用资源共享、时分复用等技术减少硬件开销
- 功能不正确:先写测试台(testbench),用断言检查关键信号
📊 性能指标
衡量本课模块性能的关键指标:
| 指标 | 含义 | 目标 |
| 延迟(Latency) | 从输入到输出的周期数 | 尽可能小 |
| 吞吐量(Throughput) | 每周期处理的数据量 | 尽可能大 |
| 面积(Area) | 占用的 LUT/FF 资源 | 在性能满足下最小化 |
| 功耗(Power) | 动态 + 静态功耗 | 在性能满足下最小化 |
🔗 与其他课程的联系
本课内容在整个 RISC-V 数字电路课程中的位置:
- 第01-05课的组合逻辑是所有硬件模块的基础
- 第06-10课的时序逻辑提供了寄存器和状态机的设计方法
- 第11-20课的CPU设计是 SoC 的核心处理单元
- 第21-23课的存储层次为数据访问提供速度和容量平衡
- 第24-28课的异常与中断使系统能响应外部事件
- 第29-33课的外设接口连接 CPU 与外部世界
- 第34-37课的系统集成将所有模块整合为完整 SoC
- 第38-40课的验证与毕业确保设计正确可靠
📐 设计方法论
优秀的数字设计遵循以下方法论:
- 规格定义:在写代码前,明确定义模块的接口、功能和行为
- 测试驱动开发:先写测试台,定义预期行为,再实现功能
- 渐进式开发:从简单版本开始,逐步添加功能
- 代码审查:让他人审查代码,发现逻辑错误和风格问题
- 回归测试:每次修改后运行全部测试,确保不引入新 bug
💡 工程实践经验
在实际芯片项目中积累的宝贵经验:
- 仿真通过 ≠ 硅片正确——需要考虑 PVT(工艺/电压/温度)变化
- 综合后的门级仿真可以发现 RTL 仿真遗漏的问题
- FPGA 原型验证是流片前最接近真实环境的测试手段
- 文档和注释与代码同等重要——未来的你会感谢现在的你
- 版本控制(Git)是团队协作的基础——每次提交都要有意义
🏆 成就解锁:存储控制器
✅ Verilator 仿真验证通过
✅ SRAM 写操作正确
✅ SRAM 读操作正确
🤔 思考题1. 本课设计的模块如何与前面课程的内容结合?
2. 修改参数后,系统的行为会有什么变化?