annotate core/sim/bdir_dut/BFIFO.bi @ 59:92041177735c pygar svn.60

[svn r60] LUTRAMing
author punk
date Mon, 10 May 2010 13:50:40 -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 }