Mercurial > pygar
annotate core/sim/bdir_dut/BFIFO.bi @ 3:5e0595db14f6 pygar svn.4
[svn r4] added bluespec manual to documents
author | rlm |
---|---|
date | Tue, 20 Apr 2010 20:09:46 -0400 |
parents | 91a1f76ddd62 |
children |
rev | line source |
---|---|
punk@1 | 1 signature BFIFO where { |
punk@1 | 2 import ¶Assert®¶; |
punk@1 | 3 |
punk@1 | 4 import ¶FIFOF_®¶; |
punk@1 | 5 |
punk@1 | 6 import ¶FIFOF®¶; |
punk@1 | 7 |
punk@1 | 8 import ¶FIFO®¶; |
punk@1 | 9 |
punk@1 | 10 import ¶List®¶; |
punk@1 | 11 |
punk@1 | 12 BFIFO.mkBFIFO1 :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) => |
punk@1 | 13 _m__ (¶FIFO®¶.¶FIFO®¶ item_t); |
punk@1 | 14 |
punk@1 | 15 BFIFO.mkSizedBFIFO :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) => |
punk@1 | 16 ¶Prelude®¶.¶Integer®¶ -> _m__ (¶FIFO®¶.¶FIFO®¶ item_t); |
punk@1 | 17 |
punk@1 | 18 BFIFO.mkBFIFOF1 :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) => |
punk@1 | 19 _m__ (¶FIFOF®¶.¶FIFOF®¶ item_t); |
punk@1 | 20 |
punk@1 | 21 BFIFO.mkBFIFO_16 :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => |
punk@1 | 22 _m__ (¶FIFO®¶.¶FIFO®¶ (¶Prelude®¶.¶Bit®¶ 16)) |
punk@1 | 23 } |