| 芯片设计验证社区·芯片爱好者聚集地·硬件相关讨论社区·数字verifier星球 |
|---|
| 四社区联合力荐！近500篇数字IC精品文章收录！ |
| 【数字IC精品文章收录】学习路线·基础知识·总线·脚本语言·芯片求职·EDA工具·低功耗设计Verilog·STA·设计·验证·FPGA·架构·AMBA·书籍 |
一、前言
本系列旨在提供100%准确的数字IC设计/验证手撕代码环节的题目，原理，RTL设计，Testbench和参考仿真波形，每篇文章的内容都经过仿真核对。快速导航链接如下：
1.奇数分频
2.偶数分频
3.半整数分批
4.小数/分数分频
5.序列检测器
6.模三检测器
7.饮料机
8.异步复位，同步释放
9.边沿检测（上升沿，下降沿，双边沿)
10.全加器，半加器
11.格雷码转二进制
12.单bit跨时钟域（打两拍，边沿同步，脉冲同步）
13.奇偶校验
14.伪随机数生成器[线性反馈移位寄存器]
15.同步FIFO
16.无毛刺时钟切换电路
应当说，手撕代码环节是面试流程中既重要又简单的一个环节，跟软件类的岗位相比起来，数字IC的手撕代码题目固定，数量有限，属于整个面试中必得分的一个环节，在这个系列以外，笔者同样推荐数字IC求职者使用“HdlBits”进行代码的训练
链接如下
HDLBits — Verilog Practice
这篇开始之前，先安利大家两篇文章，都是Clifford E. Cummings写的，分别是《Simulation and Synthesis Techniques for Asynchronous FIFO Design》和《Simulation and Synthesis Techniques for Asynchronous FIFO Design with Asynchronous Pointer Comparisons》，感兴趣的朋友可以baidu或者google搜来看看，这两篇文章涵盖了有关FIFO的所有关键问题，语言生动，深入浅出，加一起一共四十页左右。
而作为《数字IC手撕代码篇》，我们想要讨论的同步FIFO一方面继承自异步FIFO，另一方面也应该是所有面试中可能会遇到的最为复杂的手撕代码题，具体的内容如下
二、题目
1.使用verilog，完成同步FIFO的设计，其中数据位宽为8位，FIFO的深度为16，其中输入端口为clk,rst_n（复位信号）,write_en（写使能）,read_en（读使能）,data_in，输出端口为empty（空信号）,full（满信号）,data_out。
三、原理
有关什么是FIFO之类的问题就不讨论了，我们重点讨论几个关键的问题
1.同步FIFO和异步FIFO的结构差异
以上是异步FIFO的结构图，可以发现，对于异步FIFO来说，它由几部分组成，最中间的是一块双口RAM，RAM的左边是写控制模块， 右边是读控制模块，下面的两级寄存器起到了格雷码状态下的地址信号跨时钟域作用，而对于同步FIFO来说，因为读写共用同一个时钟频率，因此不需要寄存器同步的那一部分。为了最大程度的贴近于异步FIFO的设计，作者依旧采用格雷码的比较来产生空满信号，当然，使用一个计数器来判断空满信号也是可行的，读者感兴趣可以在评论区讨论一下。
2.FIFO深度的约束
在格雷码转二进制中，我们已经讨论了“gray_code= binary_code ^ (binary_code >> 1)”这种格雷码的产生方式的限制，即只适用于2^N的情况，这里对FIFO的深度约束依旧成立，假如我们设计一个14位深度的fifo，地址由14跳回1不满足单bit变化，会产生采样错误的问题，因此本篇我们依旧对偶数情况的格雷码按下不表，只讨论2的N次方的深度问题
3.空满信号如何产生
设置读指针与写指针，在格雷码的情况下，若读写指针相等，证明FIFO为空，这个很好理解，那么什么情况下，FIFO为满呢？写指针转了一圈，追上了读指针的时候，FIFO应该是满状态，这里如果拿格雷码表格来举例的话，假设FIFO的深度为8位，只需要3位二进制编码就能表示，我们多使用一位，用4位的二进制编码来额外加上写指针追读指针的情况，那么以下的截图，读写指针为1+9，2+10，3+11以此类推的情况都是应该产生满信号的情况，找下规律，发现对于4bit格雷码来说，前两位相反，之后的位相同，就是verilog逻辑中判断满信号产生的条件
4.数据通路和控制通路是否都需要复位
在作者的设计中，并不是所有的寄存器块都进行了复位的，比如说描述data_in所在的块，作者没有进行复位，但这并不影响FIFO的正常工作，这是因为我们设计追寻的原则为“控制通路必须包含复位”，数据通路“是否复位可以选择”，即读写指针所在的通路rst_n到来的时候都需要复位，但data_in作为数据通路可以选择不带复位信号。具体涉及到的代码如下：
always@(posedge clk)
if(write_en && !full)
data[wr_point] <= data_in;
else
data[wr_point] <= data[wr_point];
四、RTL设计
module fifo(clk,rst_n,write_en,read_en,data_in,empty,full,data_out);
input clk;
input rst_n;
input write_en;
input read_en;
input [7:0] data_in;
output empty;
output full;
output reg [7:0] data_out;
reg [7:0] data [0:15];
reg [4:0] wr_point;
reg [4:0] rd_point;
wire [4:0] wr_gray_point;
wire [4:0] rd_gray_point;
assign wr_gray_point = wr_point ^ (wr_point>>1);
assign rd_gray_point = rd_point ^ (rd_point>>1);
assign empty = (wr_gray_point == rd_gray_point) ? 1 : 0;
assign full = (wr_gray_point[2:0] == rd_gray_point[2:0]
&& wr_gray_point[4] == !rd_gray_point[4]
&& wr_gray_point[3] == !rd_gray_point[3] ) ? 1 : 0 ;
always@(posedge clk or negedge rst_n)
if(!rst_n)
wr_point <= 5'b0_0000;
else if (write_en && !full)
begin
if(wr_point < 5'b1_1111)
wr_point <= wr_point + 1'b1;
else
wr_point <= 5'b0_0000;
end
else
wr_point <= wr_point;
always@(posedge clk or negedge rst_n)
if(!rst_n)
rd_point <= 5'd0;
else if (read_en && !empty)
begin
if(rd_point <5'b1_1111)
rd_point <= rd_point + 1'b1;
else
rd_point <= 5'b0_0000;
end
else
rd_point <= rd_point;
always@(posedge clk)
if(write_en && !full)
data[wr_point] <= data_in;
else
data[wr_point] <= data[wr_point];
always@(posedge clk or negedge rst_n)
if(!rst_n)
data_out <= 8'h00;
else if(read_en && !empty)
data_out <= data[rd_point];
else
data_out <= 8'h00;
endmodule
五、Testbench设计
module fifo_tb();
reg clk;
reg rst_n;
reg write_en;
reg read_en;
reg [7:0] data_in;
wire empty;
wire full;
wire [7:0] data_out;
fifo u1(.clk(clk),
.rst_n(rst_n),
.write_en(write_en),
.read_en(read_en),
.data_in(data_in),
.empty(empty),
.full(full),
.data_out(data_out)
);
always #5 clk = !clk;
always #10.01 data_in = $random;
initial
begin
clk = 0;
rst_n = 1;
#10
rst_n =0;
#14
rst_n = 1;
write_en = 1;
#200
write_en = 0;
read_en = 1;
#400
$stop;
end
endmodule
六、仿真分析
我们可以看到，之前按顺序输入的数据，之后按照相同顺序输出，同时空满信号的产生正常，设计成立。