异步FIFO地实现方式

1、标准文案异步FIFO的实现方式实验目的本次实验介绍一种异步FIFO的实现方式。使用FIFO存储器可以在两个不同时钟系统之间快速而方便的传输数据。另外，在网络接口，图像处理等方面异步FIFO存储器也得到了广泛的应用。因此，异步FIFO存储器具有较大的研究和应用价值。异步FIFO的介绍和整体结构异步FIFO(FirstInFirstOut)存储器是指向FIFO缓冲器中写入数据的时钟域和从FIFO缓冲器中读取数据的时钟域是不同的，这两个时钟之间没有必然的因果关系。异步FIFO是一种先进先出的电路，使用在异步时钟域数据接口的部分，用来存储、缓冲在两个异步时钟之间的数据传输。在异步电路中，由于时钟之间周

2、期和相位完全独立，所以数据的丢失概率不为零。如何设计一个高可靠性、高速的异步FIFO存储器便成为一个难点。异步FIFO的一般结构如图1所示，都是由一个读时钟域电路、一个写时钟域电路和一个双端口的RAM床构成的。异步FIFO与同步FIFO所做的工作是相同的，都是在写信号有效时写数据到RAM,在读信号有效日把数据从RAM读出，所以对于中间部分的RA限计是比较简单的。另外，读电路和写电路单独实现起来也是比较容易的，只需要按照同步FIFO的工作情况，如果没有写满或读空的状态时每写一个数据就把写地址加1,每读一个数据就把读地址减1。设计难点在于两个时钟域的交叠部分：满、空状态的产生，这也是设计的重点大全

3、标准文案图1异步FIFO结构针对这个问题，先从对亚稳态的处理开始介绍亚稳态的处理一个触发器进入亚稳态时，既无法预测该单元的输出电平，也无法预测何时输出才能稳定在某个正确的电平上。在这个稳定期间，触发器输出一些中间级电平，或者可能处于振荡状态、并且这种无用的输出电平可以沿信号通道上的各个触发器级联式传播下去。亚稳态发生的原因是由于在同步系统中，如果触发器的建立时间或保持时间不满足，就可能产生亚稳态，此时触发器输出端Q在亚稳态是指触发器无法在某个规定时间段内达到一个可确认的状态，逻辑误判有可能通过电路的特殊设计减轻危害(如本设计中将使用的Gray码计数器)，而亚稳态的传播则扩大了故障面，难以处理。

4、在数字集成电路中寄存器要满足建立时间和保持时间。建立时间是在时钟翻转之前数据输入必须有效的时间，保持时间是在时钟沿之后数据输出必须仍然有效的时间。当一个信号被寄存器锁存时，如果信号和时钟之间不满足这个要求，Q的值是不确定的，并且在未知的时刻会固定到高电平或低电平。此时寄存器进入了亚稳态(Metastability)。解决这一问题的最简单方法是使用同步器，使得在另一个时钟域采样时信号足够稳定。同步器的设计本身就是一个比较麻烦的问题，本次设计中也不深入讨论一些细节性的问题，直接采用两级采样的同步器，避免了使用一级同步器仍可能出现亚稳态的情况。每个这样的同步器都具有一个等于时钟周期的等待时间。这种同

5、步器可以把一些亚稳态的值同步为确定值，但并不一定是正确值，同时有一些亚稳态也还是无法稳定成确切值的，这种情况称为同步出错。由于同步出错的随机性，很难对它们进行跟踪。如果想进一步降低亚稳态出现的概率、可以再增加同步器的级数，但是太多的同步器会使系统的性能下降，所以系统中不会用太多的同步器，一般使用两个同步器已经足够。空满状态的判断之所以在前面介绍了亚稳态的问题，是因为这是判断满状态或空状态无法回避的一个问题。因为读电路在读控制时维持一个地址指针，写电路在写控制时维持一个地址指针，简单来说，这两个地址指针直接一比较，就能得到空满的判断结果，但是实际操作起来非常麻烦。例如对于满状态来说，这是写入电路

6、所关心的状态，因为满状态下不能继续写入数据，但是空状态对于写电路没有影响。如果写入电路要判断当前FIFO是否为满，就需要把写电路自身维持的写指针和读电路维持的读指针做比较，这个读指针就需要送入写电路中，此时就发生了穿过时钟域的问题，也就是说，读指针要从读时钟域同步到写时钟域，然后参与判断，此时就需要前面介绍的同步器。同样，对于空状态来说，这是读出电路所关心的状态，也是由读电路来维持的，因为空状态下再读数就会得到错误的数据，但是满状态下读数是没有影响的。如果读电路要判断当前FIFO是否为空，就需要把写时钟域中的写指针取到读时钟域来，和读时钟域的读指针进行比较得出是否是空状态，同样跨越了时钟域。在

7、跨时钟域系统中希望出现错误的概率越低越好，此时格雷码无疑是最好的一个选择。格雷码属于可靠性编码，是一种误差最小化的编码，它大大减少了由一个状态到下一个状态时电路混淆。由这种编码相邻的两个码组之间只有一位不同，和其他编码同时改变2位和多位的情况相比更为可靠。表1所示是格雷码与二进制码的对应关系。大全标准文案十进制二进制格雷码NBBBBGGGG000000000100010001200100011300110010401000110501010111601100101701110100810001100910011101101010111111101111101211001010131101101

8、114111010011511111000表1格雷码与二进制码转换真值表由前面的介绍可知通过同步器之后信号稳定的值可能是1也可能是0,可能与输入的值相同也可能与输入的值不同。如果对于二进制码，这显然是灾难性的。例如从十进制的7变到8,二进制码是从0111变为1000,把0111送入同步器之后，由于4位都要变化，所以4位都可能会出现亚稳态，从而在同步器的输出端就会出现各种可能性，这样即使数据稳定下来，对整个电路的作用也很小。而如果采用格雷码，是从0100变为1100,只是最高位发生了改变，也就只有这一位可能会出现亚稳态的情况。这样经过同步器处理之后，输出端可能得到的值只有两种0100或1100,

9、其中1100是正确的数值，如果得到这个输出自然是最好，但即使是0100的输出，也只是和原来的值相同，可以认为没有变化，这也不会对电路造成负面的影响。相比二进制代码那种变化后什么值都有可能的情况，格雷码显然是一种更易于接受的编码方式。格雷码虽然在跨时钟域方面效果比较好，但在本身计数方面是不足的，也就是说还需要把格雷码转换成二进制码来计数，4位的格雷码转二进制码的代码部分如下：bin0=gray3Agray2Agray1Agray0;bin1=gray3Agray2Agray1;bin2=gray3Agray2;bin2=gray3;也可以用for循环完成：modulegray2(bin,gray

10、);parametersize=4;outputsize-1:0bin;inputsize-1:0gray;regsize-1:0bin;integeri;always(gray)for(i=0;i,size;i=i=i+1);bini=A(gray1);大全标准文案endmodule计数之后还要变回格雷码，转换的方法与上述方式类似。这样使用格雷码作为指针就可以降低亚稳态带来的影响。接下来要解决的是空满判断的问题，常用的判断方法是附加位比较法。附加位比较法是给每个指针增加一个附加位，对于二进制指针而言，将存储空间的最后一个存储单元写入数据后，地址将变为零，即地址指针低n-1位清零并向最高位（M

11、SB）也就是附加位进位。读指针也是如此工作。如果两个指针的最高位（MSBs）不同而其余位相同，就说明写指针比读指针多循环了一次，标志FIFO存储器处于满状态。如果包括最高位在内的两个指针完全相同，则说明写指针和读指针经历了相同次数的循环，也就是说FIFO存储器处于空状态。这样读指针和写指针就变成了一个n位指针，其中低n-1位是用来存放FIFO存储器的地址，可以用来对2n-1个存储单元寻址，而最高位则用来辨别当两个指针的地址相等时是满状态还是空状态。对二进制指针来说，用这种方式来区分满状态与空状态是可行的。但是，格雷码指针却不能直接使用这种方式，原因有两个。举个4位格雷码的例子，格雷码计数器的低

12、3位用于存放存储地址，第四位是附加位，这个FIFO存储器的存储容量为8。正确的操作应当是，当写（或读）完一个循环时，地址应该重新开始计数，附加位应该翻转。然而格雷码指针却并非如此，地址由7到8格雷码由0-100到1-100）,指针的附加位改变，但是地址位（低n-1位）却没有重新开始计数，这是由于格雷码是一种镜像码造成的。第二个原因是这种格雷码不能直接产生满状态标志。如果两个格雷码指针都是Gray-7,这时的FIFO存储器为空状态，在进行一次写操作后写指针将加1,格雷码第4位将变为1而低3位不变，这时的读指针和写指针的最高位将不同而低位相同。如果这样的话，FIFO存储器满标志将置位，这显然是错误

13、的，因而需要对这个4位的格雷码进行修改。想要的结果是：一个n位的（即包括附加位）格雷码计数器用在异步时钟域间传递数据，但是又希望它的低n-1位计数器也是格雷码类型的。这样低n-1位就能单独形成一个循环，而不是一种反射码。所以，此时需要的是一个既能产生n位的格雷码序列又能产生n-1位的格雷码序列的计数器。分别实现一个n位的格雷码计数器和一个n-1位的格雷码计数器自是非常简单：用一个计数器来实现一个n位的格雷码计数器，并将这个计数器的次高位进行修改而低位保持不变以实现一个n-1位的格雷码计数器，这也不是一件很难的事情。这种既能产生n位格雷码又能产生n-1位格雷码的计数器被称为两重格雷码计数器。下面

14、以3位和4位格雷码来说明空满状态的判断标准。3位格雷码表示的就是地址空间，可以有8个存储空间。由于写入和读出并不是按照从000开始的，而是可以以任意一个位置开始，比如存放数据可以按照十进制地址5、6、7、0、1、2、3、4的地址顺序来存放，读出数据也同理，这样为了表示循环，就增加了1位变为4位格雷码。首先说明空状态的判断标准，空状态表示读指针和写指针重合，此时无论是看3位格雷码还是4位格雷码都应该是完全相同，比如写指针指向1010,读指针也必然指向1010，这样判断空状态就只需要判断两个指针是否相同，相同时即为空，不同时即为不空。然后解释满状态的判断标准。满状态判断比较复杂。假设一次写入数据是

15、从十进制地址6开始，连续写入8个数据。到14,这时存满8个数据，应产生满状态输出，这两个地址形式如下：十进制地址6二进制地址0110格雷码地址0101十进制地址14二进制地址1110格雷码地址1001如果是二进制地址，判断的方法已经介绍过了。而格雷码地址的前两位是不同的，但后面的两位是相同的。如果扩展成更多位的格雷码，满状态下依然是这种情况，即前两位不同，后面位均相同。这样判断满状态首先要保证除去前两位之后的剩余部分是相同的。然后对于本例来说，需要保证前两部分是01和10,如果地址是以01开头，则满时一大全标准文案定是10;如果以10开头，满时一定是01。判断的方法可以有很多种，这里采用先取前

16、两位的异或值，保证相等，此时只可能是0,1的组合，然后再判断首位不同，这样就只能是01和10这两种情况。经过这三个条件的判断，就能就保证此时为写满状态。再观察地址以00和11开头的情况，给出地址如下十进制地址2二进制地址0010格雷码地址0011十进制地址10二进制地址1010格雷码地址1111刚才提出的的三个条件依然保证写满状态的正常输出，所以写满状态就以这三个条件作判断标准。卜面开始具体设计:顶层模块的端口和功能针对异步FIFO的基本结构和功能，以及保留一些必要的状态信号和控制信号，现确定顶层模块的端口与功能见表2:端口名称功能说明rclk输入信号，1位，读时钟wlck输入信号，1位，写时

17、钟rinc输入信号，1位，读使能信号，高电平时生效，表示写入数据winc输入信号，1位，写使能信号，高电平时生效，表示读出数据rrst_n输入信号，1位，低电平时读指针清零wrst_n输入信号，1位，低电平时写指针清零Rdata输出隹r号，8位，从RAMH卖出数据Wdata输入恬号，8位，待写入RAM据Wfull输出隹r号，1位，高电平时表示FIFO已存满数据，已满Rempty输出彳百号，1位，高电平时表示FIFO中数据已全部读出，已空表2顶层模块的端口与功能子模块设计本设计的异步FIFO划分为5个子模块：读指针控制模块、写指针控制模块、存储RAVWI块、读指针同步到写时钟域模块，写指针同步到

18、读时钟域模块。依次介绍如下：两个同步模块这两个同步模块同前文介绍的一样，是两个寄存器连接的一起。写指针同步到读时钟域模块代码如下modulesyne_w2r(rwptr2,wptr,rclk,rrst_n);parameterADDRSIZE=4;outputADDRSIZE:0rwptr2;/同步后的写指针inputADDRSIZE:0wptr;/同步前的写指针inputrclk,rrst_n;大全标准文案regADDRSIZE:0rwptr2,rwptr1;/两个中间寄存器always(posedgerclkornegedgerrst_n)if(!rrst_n)rwptr2,rwptr1=

19、0;/复位elserwptr2,rwptr1=rwptr1,wptr;/寄存器串联Endmodule读指针同步到写时钟域模块代码如下：modulesync_r2w(wrptr2,rptr,wclk,wrst_n);parameterADDRSIZE=4;outputADDRSIZE:0wrptinputADDRSIZE:0rptr;inputwclk,wrst_n;regADDRSIZE:0wrptr2,wrptrl;always(posedgewclkornegedgewrst_n)if(!wrst_n)wrptr2,wrptrl=0;elsewrptr2,wrptrl=wrptrl,rpt

20、r;endmodule功能比较简单，故不做仿真验证存储模块modulefifomem(rdata,wdata,waddr,raddr,wclken,wclk,rclken,rclk);数据宽度地址宽度读写控制和时钟输入读写地址parameterDATASIZE=8;/parameterADDRSIZE=4;/outputDATASIZE-1:0rdata;inputDATASIZE-1:0wdata;inputwclken,wclk,rclken,rclk;/inputADDRSIZE-1:0raddr,waddr;/regDATASIZE-1:0rdata;regDATASIZE-1:0ME

21、M0:(1ADDRSIZE)-1;/存储体读时钟读出数据always(posedgerclk)/if(rclken)rdata=MEMraddr;大全标准文案always(posedgewclk)if(wclken)MEMwaddr=wdata;/endmodule写时钟写入数据此模块构造了一个存储器，按读写始终安排输入和输出。编写测试模块如下:moduletbmem;parameterDATASIZE=8;parameterADDRSIZE=4;wireDATASIZE-1:0rdata;regDATASIZE-1:0wdata;regwclken,wclk,rclken,rclk;regA

22、DDRSIZE-1:0raddr,waddr;integerseed1;initialbeginwclk=0;rclk=0;seed1=20;/初始化waddr=0;raddr=0;endalways#9wclk=wclk;/always#11rclk=rclk;/生成写时钟生成读时钟always(posedgewclk)wdata=$random(seed1)/256;/产生随机写入数据initialbeginwclken=1;rclken=0;repeat(10)(posedgewclk);/wclken=0;rclken=1;repeat(6)(posedgerclk);/wclken=

23、1;rclken=1;#99$stop;end写入10个数据读出6个数据always(posedgewclk)if(wclken=1)waddr=waddr+1;/写地址生成always(posedgerclk)大全标准文案if(rclken=1)读地址生成raddr=raddr+1;/fifomemfifomem(rdata,wdata,waddr,raddr,wclken,wclk,rclken,rclk);endmodule仿真波形如图2所示图2存储仿真波形第一行为读出数据，第二行为写入数据，图中第一行和第二行数据是完全对应的。读地址控制模块FIFO存储器空状态是在读时钟域中生成的，这样

24、就可以确保一旦FIFO存储器达到空状态时就能被检测到。也就是说，在读时钟域里读指针可以在读时钟周期内与同步而来的写指针(包括附加的最高位MSB世行比较。当读指针与同步的写指针rwptr2相等时，FIFO存储器为空状态，此时FIFO存储器停止读取数据，否则会导致向下溢出(underflow)。比较读指针和同步的写指针以生成空标志的比较器很容易实现。FIFO存储器的指针总是预先指向下一个内存位置，每进行一次读写操作，相应的指针就增加一次。如果读指针与同步的写指针rwptr2的附加位(这两个指针的最高位MSBs层相等的，则这两个指针经历了相同的循环次数，假如这时两个指针的低位(共n-1位)也相等，F

25、IFO存储器就为空状态。在这个模块中包含了除读同步模块之外的所有读时钟域的逻辑电路。读指针是两重格雷码计数器。位指针rptr被同步到写时钟域中，n-1位指针用于产生地址。当读指针rptr的下一个状态rgnext等于同步的写指针rwptr2时，空状态标志将在下一个读时钟的上升沿被置位。这个模块已经是一个读时钟域的同步时序电路，这有利于进行静态时序分析。模块包含读指针电路和空标志逻辑电路，代码如下：modulerptr_empty(rempty,raddr,rptr,rwptr2,rinc,rclk,rrst_n);parameterADDRSIZE=4;outputrempty;outputAD

26、DRSIZE-1:0raddr;outputADDRSIZE:0rptr;inputADDRSIZE:0rwptr2;inputrinc,rclk,rrst_n;regADDRSIZE:0rptr,rbin,rgnext,rbnext;regrempty,raddrmsb;大全标准文案always(posedgerclkornegedgerrst_n)if(!rrst_n)beginrptr=0;raddrmsb=0;endelsebeginrptr=rgnext;raddrmsb=rgnextADDRSIZEArgnextADDRSIZE-1;endalways(rptrorrinc)beg

27、in:Gray_incintegeri;for(i=0;ii);/if(!rempty)rbnext=rbin+rinc;/elserbnext=rbin;rgnext=(rbnext1)Arbnext;/end格雷码转换为二进制码增加FIFO计数二进制转化为格雷码always(posedgerclkornegedgerrst_n)if(!rrst_n)rempty=1b1;/复位时输出空elserempty=(rgnext=rwptr2);/否则判断是否满足条件assignraddr=raddrmsb,rptrADDRSIZE-2:0;/读地址指针endmodule读地址控制模块主要的部分按

28、代码顺序有复位部分，完成复位功能计数部分，完成格雷码转二进制计数再转换成格雷码；空状态判断部分，复位时输出空，读指针和同步后的写指针相同时出示空状态；最后是一个读地址的拼接输出。为此模块编写测试模块，代码如下：moduletbrptr;parameterADDRSIZE=4;wirerempty;wireADDRSIZE-1:0raddr;wireADDRSIZE:0rptr;regADDRSIZE:0rwptr2;大全标准文案regrinc,rclk,rrst_n;initialbeginrclk=0;rrst_n=1;rinc=0;rwptr2=14;# 3rrst_n=0;# 4rrst

29、_n=1;# 6rinc=1;endalways#11rclk=rclk;initialbeginrepeat(5)(posedgerclk);(posedgerempty);# 20$stop;endrptr_emptyrptr_empty(rempty,raddr,rptr,rwptr2,rinc,rclk,rrst_n);endmodule仿真波形如图3所示图3读地址控制模块波形中第一行是空状态，一开始复位一次，计数到0110时与预置的写指针相同，空状态重新变为高电平。此模块可正常完成地址计数和空状态的生成，功能验证结果正确。写指针控制模块与读指针控制模块代码基本相同。此模块仅在满状态判

30、断部分不相同。代码如下:modulewptr_full(wfull,waddr,wptr,wrptr2,winc,wclk,wrst_n);parameterADDRSIZE=4;outputwfull;outputADDRSIZE-1:0waddr;outputADDRSIZE:0wptr;inputADDRSIZE:0wrptr2;inputwinc,wclk,wrst_n;大全标准文案regADDRSIZE:0wptr,wbin,wgnext,wbnext;regwfull,waddrmsb;wirew_2ndmsb,wr_2ndmsb;/添加的判断信号always(posedgewcl

31、kornegedgewrst_n)if(!wrst_n)beginwptr=0;waddrmsb=0;endelsebeginwptr=wgnext;waddrmsb=wgnextADDRSIZEAwgnextADDRSIZE-1;endalways(wptrorwinc)begin:Gray_incintegeri;for(i=0;ii);/if(!wfull)wbnext=wbin+winc;/FIFOelsewbnext=wbin;wgnext=(wbnext1)awbnext;/end格雷码转二进制计数二进制转格雷码写指针前两位异或同步后的读指针前两assignw_2ndmsb=wgn

32、extADDRSIZEAwgnextADDRSIZE-1;/assignwr_2ndmsb=wrptr2ADDRSIZEawrptr2ADDRSIZE-1;/位异或always(posedgewclkornegedgewrst_n)if(!wrst_n)wfull=0;elsewfull=(wgnextADDRSIZE!=wrptr2ADDRSIZE)&(w_2ndmsb=wr_2ndmsb)&(wgnextADDRSIZE-2:0=wrptr2ADDRSIZE-2:0);/三个判断条件均满足则满assignwaddr=waddrmsb,wptrADDRSIZE-2:0;endmodule由于

33、功能基本相似，此模块不再列出仿真大全标准文案整体仿真结果将五个子模块合成一个顶层模块，代码如下：modulefifo_asyn1(rdata,wfull,rempty,wdata,winc,wclk,wrst_n,rinc,rclk,rrst_n);parameterDSIZE=8;/数据存储宽度parameterASIZE=4;/存储地址宽度output7:0rdata;outputwfull;outputrempty;input7:0wdata;inputwinc,wclk,wrst_n;inputrinc,rclk,rrst_n;wire3:0waddr,raddr;wire4:0wpt

34、r,rptr,wrptr2,rwptr2;sync_r2wsync_r2w(.wrptr2(wrptr2),.rptr(rptr),.wclk(wclk),.wrst_n(wrst_n);syne_w2rsyne_w2r(.rwptr2(rwptr2),.wptr(wptr),.rclk(rclk),.rrst_n(rrst_n);#(DSIZE,ASIZE)#(ASIZE)#(ASIZE)fifomemfifomem(.rdata(rdata),.wdata(wdata),.waddr(waddr),.raddr(raddr),.wclken(winc),.wclk(wclk),.rclken(rinc),.rclk(rclk);rptr_emptyrptr_empty(.rempty(rempty),.raddr(raddr),.rptr(rptr),.rwptr2(rwptr2),.rinc(rinc),.rclk(rclk),.rrst_n(rrst_n);wptr_fullwptr_full(.wfull(wfull),.waddr(waddr),.wptr(w