Mercurial > pygar
comparison core/sim/bdir_dut/BFIFO.bi @ 1:91a1f76ddd62 pygar svn.2
[svn r2] Adding initial lab 5 source
author | punk |
---|---|
date | Tue, 13 Apr 2010 17:34:33 -0400 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
0:6d1ff93e3afa | 1:91a1f76ddd62 |
---|---|
1 signature BFIFO where { | |
2 import ¶Assert®¶; | |
3 | |
4 import ¶FIFOF_®¶; | |
5 | |
6 import ¶FIFOF®¶; | |
7 | |
8 import ¶FIFO®¶; | |
9 | |
10 import ¶List®¶; | |
11 | |
12 BFIFO.mkBFIFO1 :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) => | |
13 _m__ (¶FIFO®¶.¶FIFO®¶ item_t); | |
14 | |
15 BFIFO.mkSizedBFIFO :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) => | |
16 ¶Prelude®¶.¶Integer®¶ -> _m__ (¶FIFO®¶.¶FIFO®¶ item_t); | |
17 | |
18 BFIFO.mkBFIFOF1 :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) => | |
19 _m__ (¶FIFOF®¶.¶FIFOF®¶ item_t); | |
20 | |
21 BFIFO.mkBFIFO_16 :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => | |
22 _m__ (¶FIFO®¶.¶FIFO®¶ (¶Prelude®¶.¶Bit®¶ 16)) | |
23 } |