版主
主题
帖子
积分10609
阅读权限200
注册时间2008-11-22
最后登录1970-1-1
在线时间 小时
|
楼主 |
发表于 2009-11-27 14:42
|
显示全部楼层
异步FIFO结构1 k# q+ }; ]# b8 U8 G7 p4 w
% h% ]. G/ T) @1 b2 \
设计一个FIFO是ASIC设计者遇到的最普遍的问题之一。本文着重介绍怎样设计FIFO——这是一个看似简单却很复杂的任务。+ n B/ p* ` C
一开始,要注意,FIFO通常用于时钟域的过渡,是双时钟设计。换句话说,设计工程要处理(work off)两个时钟,因此在大多数情况下,FIFO工作于独立的两个时钟之间。然而,我们不从这样的结构开始介绍—我们将从工作在单时钟的一个FIFO特例开始。虽然工作在同一时钟的FIFO在实际应用中很少用到,但它为更多的复杂设计搭建一个平台,这是非常有用的。然后再从特例推广到更为普通的FIFO,该系列文章包括以下内容:: y3 N" ^& h6 V5 I \% V
1.单时钟结构
' t/ n* V3 \, w# o' O- G4 }2.双时钟结构——双钟结构1: ~. s# E9 e$ L
3.双时钟结构——双钟结构2
7 J3 [+ I" P" D% ?! @* w$ t+ V4.双时钟结构——双钟结构3. _3 m; o. h7 R a- C, b5 `
5.脉冲模式FIFO
4 u! O3 f( K& f" ^, L7 J单时钟FIFO特例9 ^9 U# I' R- k) @
FIFO有很多种结构,包括波浪型(ripple)FIFO,移位寄存器型以及其他一些我们并不关心的结构类型。我们将集中讨论包含RAM存储器的结构类型。其结构如图1所示。
0 B# b ?2 P. d6 [7 B5 yhttp://www.dzkf.cn/upimg/userup/0902/260S2296040.jpg
& }' x4 o `5 `& D, i4 A+ t7 I 通过分析,我们看到图中有一个具有独立的读端口和独立的写端口的RAM存储器。这样选择是为了分析方便。如果是一个单端口的存储器,还应包含一个仲裁器保证同一时刻只能进行一项操作(读或写 ),我们选择双口RAM(无需真正的双口RAM,因为我们只是希望有一个简单的相互独立的读写端口)是因为这些实例非常接近实际情况。, `! S1 M6 G; m8 e- {& {
读、写端口拥有又两个计数器产生的宽度为log2(array_size)的互相独立的读、写地址。数据宽度是一个非常重要的参数将在在稍后的结构选择时予以介绍,而现在我们不必过分的关心它。为了一致,我们称这些计数器为“读指针”(read pointer)和“写指针”(write pointer)。写指针指向下一个将要写入的位置,读指针指向下一个将要读取的位置。每次写操作使写指针加1,读操作使读指针加1。3 Q- q- I% e1 O' C
我们看到最下面的模块为“状态”(stauts) 模块。这个模块的任务实给FIFO提供“空”(empty)和“满”(full)信号。这些信号告诉外部电路FIFO已经达到了临界条件:如果出现“满”信号,那么FIFO为写操作的临界状态,如果出现“空”信号,则FIFO为读操作的临界状态。写操作的临界状态(“full is active”)表示FIFO已经没有空间来存储更多的数据,读操作的临界表示FIFO没有更多4 C; | I- {1 ?5 x1 h# {
的数据可以读出。status模块还可告诉FIFO中“满”或“空”位置的数值。这是由指针的算术运算来完成了。
1 |/ v* h3 z7 p: q 实际的“满”或“空”位置计算并不是为FIFO自身提供的。它是作为一个报告机构给外部电路用的。但是,“满”和“空”信号在FIFO中却扮演着非常重要的角色,它为了能实现读与写操作各自的独立运行而阻塞性的管理数据的存取。这种阻塞性管理的重要性不是将数据复写(或重读),而是指针位置可以控制整个FIFO,并且使读、写操作改变着指针数值。如果我们不阻止指针在临界状态下改变状态,FIFO还能都一边“吃”着数据一边“产生”数据,这简直是不可能的。
, x# ~1 [5 n6 P, ^8 l/ ~; ` 进一步分析:DPRAM若能够寄存读出的信号,这意味着存储器的输出数据已被寄存。如果这样的话,读指针将不得不设计成“read 并加1 ”,也就是说在FIFO输出数据有效之前,必须提供一个明确的读信号。另一方面,如果DPRAM没有寄存输出,一旦写入有效数据就可以读出;先读数据,然后使指针加1。这将影响到从FIFO读出数据和实现空/满计算的逻辑。由于简化的缘故,我们仅论述DPRAM没有提供索锁存输出的情况。同理,将其推广到寄存输出的DPRAM并不是很复杂。
' U ~& A V; t1 O, V, {* { 从功能上看,FIFO工作原理如下所述:复位时,读、写指针均为0。这是FIFO的空状态,空标志为高电平,(我们用高电平表示空标志)此时满标志为低电平。当FIFO出现空标志时,不允许读操作,只能允许写操作。写操作写入到位置0,并使写指针加1。此时,空标志变为低电平。假设没有发生读操作而且随后的一段时间FIFO中只有写操作。一定时间后,写指针的值等于array_size-1。这就意味着在存储器中,要写入数据的最后一个位置就是下一个位置。在这种情况下,写操作将写指针变为0,并将输出满标志。
- g* O5 J! w+ s* L 注意,在这种情况下,写指针和读指针是相等的,但是FIFO已满,而不是空。这意味着“满”或“空”的决定并不是仅仅基于指针的值,而是基于引起指针值相等的操作。如果指针值相等的原因是复位或者读操作,FIFO认为是空;如果原因是写操作,那么FIFO认为是满。& ]5 R% ]- n/ d
现在,假设我们开始一系列的读操作,每次读操作都将增加读指针的值,直到读指针的位置等于array_size-1。在该点,从这个位置读出的FIFO输出总线上的数据是有效的。随后的逻辑读取这些数据并提供一个读信号 (在一个时钟周期内有效)。这将导致读指针再次等于写指针(在两个指针走完存储器一圈后)。然而,由于这次相等是由于一个读操作,将会输出空标志。
1 ^; S6 k1 w2 o, {# D 因此,我们将得到如下的空标志:写操作无条件的清除空标志。. w. y# j2 N+ ]% T; l8 h
Read pointer=(array_size-1) , 读操作置空标志。
0 M# }4 F7 h' Y0 P/ {9 v3 N 以及如下的满标志:读操作无条件的清除满标志,) _3 I& I" ]! b9 R8 y# U
Write pointer= (array_size-1), 写操作置满标志。0 e4 y8 r8 e' |
然而,这是一个特殊的例子,由于一般情况下,读操作在FIFO不是空的情况下就开始了(读操作逻辑不需要等待FIFO变满),因此这些条件不得不修改来存储读指针和写指针的每一个值。
9 a# s( w( N+ s4 r/ D% y& K 有这样一个想法,那就是我们可以将存储器组织成一个环形列表。因此,如果写指针与读指针差值大于1或更多,就进行读操作,FIFO为空,这种工作方式对于用无符号(n-bit)结构来描述的临界状态非常适合。同样的,如果读指针与写指针的差值大于1,就进行写操作,直到FIFO为满。
i) ]' Z: q" d& k5 K* T 这将带来如下的条件:( I, y9 h, u, S- v2 |9 N
写操作无条件的清除空标志。
5 Q8 z$ ?9 x/ Q* bwrite_pointer=(read_pointer+1),读操作置空。; t, T9 D$ l" {) m0 s7 F; y
读操作无条件的清除满标志," R% U! W4 A, Z! x
read_pointer= (write_pointer+1),写操作置满。
$ \0 c$ s# U# D! x# k; z 注意,读操作和写操作同时都在使其指针增加,但不改变空标志和满标志的状态。在空或满的临界状态同时读操作和写操作都是不允许的。. ~7 e7 r: ~! @/ T# I4 b
综上所述,我们现在能够定义FIFO的status模块,这里提供了用VHDL编写的代码,由于是同步的,很容易转换成Verilog HDL代码。& b5 a4 Y' V' M8 E3 G
library IEEE, STD;
9 N, F7 ]5 s4 u8 {6 |use IEEE.std_logic_1164.all;
+ q9 }% |& C% M# n( Y4 F2 ^use IEEE.std_logic_arith.all;
0 j; `) v- c; ?: v2 y& `5 Nuse IEEE.std_logic_unsigned.all;
/ Q$ A. C: \6 X( jentity status is' M2 S' x9 @9 N% o) z
port (reset : in std_logic;
& U0 A$ s9 k" h6 H$ iclk : in std_logic;
& L/ A. a& L+ z- b5 w' afifo_wr : in std_logic;. r( ?* l' S$ V1 I: v g
fifo_rd : in std_logic;
) b& e- m" E/ [6 E4 nvalid_rd : out std_logic;
: G* s7 P1 O' {6 j: w; o$ m+ d* y# `valid_wr : out std_logic;0 O% x# s. d. l, E, Z- n$ v
rd_ptr : out std_logic_vector(4 downto 0);! \: t# a* v f
wr_ptr : out std_logic_vector(4 downto 0);
' o1 K' x8 c6 o& L' ^7 v) Sempty : out std_logic;
8 }$ U& ?5 k5 Rfull : out std_logic
# X, {4 ?; C& m. P' g);$ F" k6 H& m J; \) ~
end status;
% C! Z; L' j& r4 Y+ t1 t, N& h) u7 ~architecture status_A of status is( _4 q. J. |' ]3 I! ^ f# V
signal rd_ptr_s : std_logic_vector(4 downto 0);1 a; y( z1 j1 ]' g$ f% {) t, ]
signal wr_ptr_s : std_logic_vector(4 downto 0);
. P7 D3 |. ?7 V% o8 ^signal valid_rd_s : std_logic;
7 p4 Z1 F7 G3 T, o# Qsignal valid_wr_s : std_logic;
% Z H+ {& |( \8 _- q0 _; I) Tbegin* K S+ u2 K$ y
empty_P : process(clk, reset); E; u9 b, n: o' @0 t* ^1 n! h
begin
, v6 W1 w# c Vif (reset = '1') then) q$ C3 l. h5 [4 r
empty <= '1';* x! ~0 `% [9 R% C4 F- z L
elsif (clk'event and clk = '1') then3 o2 y) z r2 Y& `! @ q8 n
if (fifo_wr = '1' and fifo_rd = '1') then& P# x7 x p6 t
-- do nothing
- t) f8 I- Z4 O5 inull;
5 ?2 x+ J4 W8 W9 Z9 ?' celsif (fifo_wr = '1') then. k. N& | I% ]4 l
-- write unconditionally clears empty7 Q8 x f: A9 @( }: l/ [$ o& o3 T
empty <= '0'; B+ d, F4 T& Y, ]# G
elsif (fifo_rd = '1' and (wr_ptr_s = rd_ptr_s + '1')) then
+ j. u9 Y7 P9 Q$ P. P; }2 U3 S% v-- set empty3 C. ], F* _; @" W9 t' V) r
empty <= '1';# g; L$ m( K7 u/ h
end if;9 n$ H2 @( U. `# c6 I0 W; ^' D( n
end if;7 ]+ V7 y8 d2 z9 p0 g
end process;: `9 n* m; e3 a: T
full_P : process(clk, reset)
; |! Z* }6 h$ `. x$ k1 gbegin- w L$ B' \* ?/ i# n3 o& h0 S1 V
if (reset = '1') then" U" ^0 y$ V/ \* o7 h" c" \, w
full <= '0';" z! ~" n9 `, P" v
elsif (clk'event and clk = '1') then
. A: I" `# ]$ f4 jif (fifo_rd = '1' and fifo_wr = '1') then
3 Z4 j: u* w2 r8 L! [* F0 n-- do nothing
' V2 v. t3 e+ V8 h2 knull;
6 i0 X, d7 ]3 h3 Z8 J# R# Melsif (fifo_rd = '1') then3 l, W Y9 I1 ~7 X8 u
-- read unconditionally clears full4 z" g2 h# J8 ^3 F5 v! Z4 P" F4 p1 ?1 S
full <= '0';; s- K' |& r* l5 K
elsif (fifo_wr = '1' and (rd_ptr_s = wr_ptr_s + '1')) then! q" K8 B W' X/ c, D8 e" Q
-- set full, f8 }1 K5 t2 H/ r+ P5 p
full <= '1';
! p* O6 t7 c# v$ Mend if;' k# q4 l0 ]4 C7 [' |2 E+ B/ l
end if;
. S* ?/ d1 ~% f1 Z- D9 e( Mend process;
4 ~4 s9 q. @4 v+ }# m6 v9 W7 e, vvalid_rd_s <= '1' when (empty = '0' and fifo_rd = '1');% n" M# n1 M4 @6 i* h
valid_wr_s <= '1' when (full = '0' and fifo_wr = '1');
: [# l T" I7 d& K' wwr_ptr_s_P : process(clk, reset). a: c# [: h5 m) \" v/ i6 W
begin1 k* G+ M. v" E' ?. x# C& d
if (reset = '1') then+ \2 q9 N( j: A; Z" ^
wr_ptr_s_P <= (others => '0');
. D; K$ A* Y& e$ o4 V8 G9 | Helsif (clk'event and clk = '1') then) ~& M6 a' F7 r: o2 U4 O
if (valid_wr_s = '1') then8 p9 G) m2 u# W! p _+ u7 G, w
wr_ptr_s <= wr_ptr_s + '1';
" @- ?9 g! J- N, eend if;
) x; j& l( M3 T/ M! Y- C+ }6 `end if;
6 I! ^9 ]/ Y$ kend process;
8 L) V1 L' ?" j# v9 ~rd_ptr_s_P : process(clk, reset)* a- L: F1 n7 u8 I, h& d$ |
begin; Y% t& l5 Q1 Z
if (reset = '1') then; o9 g3 n# s) S6 @5 y* X
rd_ptr_s_P <= (others => '0');
& Q% W1 ]) `& g# h3 L* welsif (clk'event and clk = '1') then! \3 t \. T7 Z! |; f/ p/ ]. B- Z
if (valid_rd_s = '1') then1 ?$ R$ S* f+ X3 R
rd_ptr_s <= rd_ptr_s + '1';3 h2 x" a$ B6 ^( f
end if;
1 n6 { q$ |9 ?8 h2 [' ~end if;
0 |$ W+ Z$ H, R( O. Fend process;
$ Y$ T& l7 x9 b yrd_ptr <= rd_ptr_s;. D: H' C. [$ K0 J9 q1 \
wr_ptr <= wr_ptr_s;& ~) O d0 F' q( z6 U0 y
end status_A;% i5 i6 B1 v/ F3 o/ l# Z
电路图如图2所示:6 a# v7 L0 y k' A! h9 `7 C
http://www.dzkf.cn/upimg/userup/0902/260S4193118.jpg
' `9 x" a4 n4 ^2 |- j0 y0 s 细心的读者会注意到图2中产生满或空标志需要同时用到两个指针。在双时钟设计的情况下,希望用读指针处理(work off) 读时钟,写指针处理(work off) 写时钟。这会引起不希望发生的毛刺问题——自己可以去试一试,看一看。这些问题以及一些解决方案将在后续的该系列文章中提及。
( k" V( d+ U0 F% `( q' KPS: 文章中三次提到 work off clock,分别在开头和结尾处,work off字面意思是“去除,消除,出售”的意思,可是在FIFO中,不应该是去除的意思,故根据前后文和常识,将其翻译为“处理”,有不对的地方请批评指正!- U. U7 ]- W1 G) z, E, R9 L
|
|