]> git.zerfleddert.de Git - raggedstone/blame - dhwk_old/source/generic_fifo_sc_a.v
+= interface wb <=> fifo
[raggedstone] / dhwk_old / source / generic_fifo_sc_a.v
CommitLineData
96e85c4d 1/////////////////////////////////////////////////////////////////////
2//// ////
3//// Universal FIFO Single Clock ////
4//// ////
5//// ////
6//// Author: Rudolf Usselmann ////
7//// rudi@asics.ws ////
8//// ////
9//// ////
10//// D/L from: http://www.opencores.org/cores/generic_fifos/ ////
11//// ////
12/////////////////////////////////////////////////////////////////////
13//// ////
14//// Copyright (C) 2000-2002 Rudolf Usselmann ////
15//// www.asics.ws ////
16//// rudi@asics.ws ////
17//// ////
18//// This source file may be used and distributed without ////
19//// restriction provided that this copyright statement is not ////
20//// removed from the file and that any derivative work contains ////
21//// the original copyright notice and the associated disclaimer.////
22//// ////
23//// THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY ////
24//// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED ////
25//// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS ////
26//// FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL THE AUTHOR ////
27//// OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, ////
28//// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES ////
29//// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE ////
30//// GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR ////
31//// BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF ////
32//// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT ////
33//// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT ////
34//// OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE ////
35//// POSSIBILITY OF SUCH DAMAGE. ////
36//// ////
37/////////////////////////////////////////////////////////////////////
38
39// CVS Log
40//
41// $Id: generic_fifo_sc_a.v,v 1.1 2007-02-11 21:58:30 sithglan Exp $
42//
43// $Date: 2007-02-11 21:58:30 $
44// $Revision: 1.1 $
45// $Author: sithglan $
46// $Locker: $
47// $State: Exp $
48//
49// Change History:
50// $Log: generic_fifo_sc_a.v,v $
51// Revision 1.1 2007-02-11 21:58:30 sithglan
52// += fifo
53//
54// Revision 1.1.1.1 2002/09/25 05:42:06 rudi
55// Initial Checkin
56//
57//
58//
59//
60//
61//
62//
63//
64//
65//
66//
67
68`include "timescale.v"
69
70/*
71
72Description
73===========
74
75I/Os
76----
77rst low active, either sync. or async. master reset (see below how to select)
78clr synchronous clear (just like reset but always synchronous), high active
79re read enable, synchronous, high active
80we read enable, synchronous, high active
81din Data Input
82dout Data Output
83
84full Indicates the FIFO is full (combinatorial output)
85full_r same as above, but registered output (see note below)
86empty Indicates the FIFO is empty
87empty_r same as above, but registered output (see note below)
88
89full_n Indicates if the FIFO has space for N entries (combinatorial output)
90full_n_r same as above, but registered output (see note below)
91empty_n Indicates the FIFO has at least N entries (combinatorial output)
92empty_n_r same as above, but registered output (see note below)
93
94level indicates the FIFO level:
95 2'b00 0-25% full
96 2'b01 25-50% full
97 2'b10 50-75% full
98 2'b11 %75-100% full
99
100combinatorial vs. registered status outputs
101-------------------------------------------
102Both the combinatorial and registered status outputs have exactly the same
103synchronous timing. Meaning they are being asserted immediately at the clock
104edge after the last read or write. The combinatorial outputs however, pass
105through several levels of logic before they are output. The registered status
106outputs are direct outputs of a flip-flop. The reason both are provided, is
107that the registered outputs require quite a bit of additional logic inside
108the FIFO. If you can meet timing of your device with the combinatorial
109outputs, use them ! The FIFO will be smaller. If the status signals are
110in the critical pass, use the registered outputs, they have a much smaller
111output delay (actually only Tcq).
112
113Parameters
114----------
115The FIFO takes 3 parameters:
116dw Data bus width
117aw Address bus width (Determines the FIFO size by evaluating 2^aw)
118n N is a second status threshold constant for full_n and empty_n
119 If you have no need for the second status threshold, do not
120 connect the outputs and the logic should be removed by your
121 synthesis tool.
122
123Synthesis Results
124-----------------
125In a Spartan 2e a 8 bit wide, 8 entries deep FIFO, takes 85 LUTs and runs
126at about 116 MHz (IO insertion disabled). The registered status outputs
127are valid after 2.1NS, the combinatorial once take out to 6.5 NS to be
128available.
129
130
131Misc
132----
133This design assumes you will do appropriate status checking externally.
134
135IMPORTANT ! writing while the FIFO is full or reading while the FIFO is
136empty will place the FIFO in an undefined state.
137
138*/
139
140
141// Selecting Sync. or Async Reset
142// ------------------------------
143// Uncomment one of the two lines below. The first line for
144// synchronous reset, the second for asynchronous reset
145
146`define SC_FIFO_ASYNC_RESET // Uncomment for Syncr. reset
147//`define SC_FIFO_ASYNC_RESET or negedge rst // Uncomment for Async. reset
148
149
150module generic_fifo_sc_a(clk, rst, clr, din, we, dout, re,
151 full, empty, full_r, empty_r,
152 full_n, empty_n, full_n_r, empty_n_r,
153 level);
154
155parameter dw=8;
156parameter aw=8;
157parameter n=32;
158parameter max_size = 1<<aw;
159
160input clk, rst, clr;
161input [dw-1:0] din;
162input we;
163output [dw-1:0] dout;
164input re;
165output full, full_r;
166output empty, empty_r;
167output full_n, full_n_r;
168output empty_n, empty_n_r;
169output [1:0] level;
170
171////////////////////////////////////////////////////////////////////
172//
173// Local Wires
174//
175
176reg [aw-1:0] wp;
177wire [aw-1:0] wp_pl1;
178wire [aw-1:0] wp_pl2;
179reg [aw-1:0] rp;
180wire [aw-1:0] rp_pl1;
181reg full_r;
182reg empty_r;
183reg gb;
184reg gb2;
185reg [aw:0] cnt;
186wire full_n, empty_n;
187reg full_n_r, empty_n_r;
188
189////////////////////////////////////////////////////////////////////
190//
191// Memory Block
192//
193
194generic_dpram #(aw,dw) u0(
195 .rclk( clk ),
196 .rrst( !rst ),
197 .rce( 1'b1 ),
198 .oe( 1'b1 ),
199 .raddr( rp ),
200 .do( dout ),
201 .wclk( clk ),
202 .wrst( !rst ),
203 .wce( 1'b1 ),
204 .we( we ),
205 .waddr( wp ),
206 .di( din )
207 );
208
209////////////////////////////////////////////////////////////////////
210//
211// Misc Logic
212//
213
214always @(posedge clk `SC_FIFO_ASYNC_RESET)
215 if(!rst) wp <= #1 {aw{1'b0}};
216 else
217 if(clr) wp <= #1 {aw{1'b0}};
218 else
219 if(we) wp <= #1 wp_pl1;
220
221assign wp_pl1 = wp + { {aw-1{1'b0}}, 1'b1};
222assign wp_pl2 = wp + { {aw-2{1'b0}}, 2'b10};
223
224always @(posedge clk `SC_FIFO_ASYNC_RESET)
225 if(!rst) rp <= #1 {aw{1'b0}};
226 else
227 if(clr) rp <= #1 {aw{1'b0}};
228 else
229 if(re) rp <= #1 rp_pl1;
230
231assign rp_pl1 = rp + { {aw-1{1'b0}}, 1'b1};
232
233////////////////////////////////////////////////////////////////////
234//
235// Combinatorial Full & Empty Flags
236//
237
238assign empty = ((wp == rp) & !gb);
239assign full = ((wp == rp) & gb);
240
241// Guard Bit ...
242always @(posedge clk `SC_FIFO_ASYNC_RESET)
243 if(!rst) gb <= #1 1'b0;
244 else
245 if(clr) gb <= #1 1'b0;
246 else
247 if((wp_pl1 == rp) & we) gb <= #1 1'b1;
248 else
249 if(re) gb <= #1 1'b0;
250
251////////////////////////////////////////////////////////////////////
252//
253// Registered Full & Empty Flags
254//
255
256// Guard Bit ...
257always @(posedge clk `SC_FIFO_ASYNC_RESET)
258 if(!rst) gb2 <= #1 1'b0;
259 else
260 if(clr) gb2 <= #1 1'b0;
261 else
262 if((wp_pl2 == rp) & we) gb2 <= #1 1'b1;
263 else
264 if((wp != rp) & re) gb2 <= #1 1'b0;
265
266always @(posedge clk `SC_FIFO_ASYNC_RESET)
267 if(!rst) full_r <= #1 1'b0;
268 else
269 if(clr) full_r <= #1 1'b0;
270 else
271 if(we & ((wp_pl1 == rp) & gb2) & !re) full_r <= #1 1'b1;
272 else
273 if(re & ((wp_pl1 != rp) | !gb2) & !we) full_r <= #1 1'b0;
274
275always @(posedge clk `SC_FIFO_ASYNC_RESET)
276 if(!rst) empty_r <= #1 1'b1;
277 else
278 if(clr) empty_r <= #1 1'b1;
279 else
280 if(we & ((wp != rp_pl1) | gb2) & !re) empty_r <= #1 1'b0;
281 else
282 if(re & ((wp == rp_pl1) & !gb2) & !we) empty_r <= #1 1'b1;
283
284////////////////////////////////////////////////////////////////////
285//
286// Combinatorial Full_n & Empty_n Flags
287//
288
289assign empty_n = cnt < n;
290assign full_n = !(cnt < (max_size-n+1));
291assign level = {2{cnt[aw]}} | cnt[aw-1:aw-2];
292
293// N entries status
294always @(posedge clk `SC_FIFO_ASYNC_RESET)
295 if(!rst) cnt <= #1 {aw+1{1'b0}};
296 else
297 if(clr) cnt <= #1 {aw+1{1'b0}};
298 else
299 if( re & !we) cnt <= #1 cnt + { {aw{1'b1}}, 1'b1};
300 else
301 if(!re & we) cnt <= #1 cnt + { {aw{1'b0}}, 1'b1};
302
303////////////////////////////////////////////////////////////////////
304//
305// Registered Full_n & Empty_n Flags
306//
307
308always @(posedge clk `SC_FIFO_ASYNC_RESET)
309 if(!rst) empty_n_r <= #1 1'b1;
310 else
311 if(clr) empty_n_r <= #1 1'b1;
312 else
313 if(we & (cnt >= (n-1) ) & !re) empty_n_r <= #1 1'b0;
314 else
315 if(re & (cnt <= n ) & !we) empty_n_r <= #1 1'b1;
316
317always @(posedge clk `SC_FIFO_ASYNC_RESET)
318 if(!rst) full_n_r <= #1 1'b0;
319 else
320 if(clr) full_n_r <= #1 1'b0;
321 else
322 if(we & (cnt >= (max_size-n) ) & !re) full_n_r <= #1 1'b1;
323 else
324 if(re & (cnt <= (max_size-n+1)) & !we) full_n_r <= #1 1'b0;
325
326////////////////////////////////////////////////////////////////////
327//
328// Sanity Check
329//
330
331// synopsys translate_off
332always @(posedge clk)
333 if(we & full)
334 $display("%m WARNING: Writing while fifo is FULL (%t)",$time);
335
336always @(posedge clk)
337 if(re & empty)
338 $display("%m WARNING: Reading while fifo is EMPTY (%t)",$time);
339// synopsys translate_on
340
341endmodule
342
Impressum, Datenschutz