1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/core/sim/bdir_dut/BFIFO.bi	Tue Apr 13 17:34:33 2010 -0400
     1.3 @@ -0,0 +1,23 @@
     1.4 +signature BFIFO where {
     1.5 +import ¶Assert®¶;
     1.6 +		
     1.7 +import ¶FIFOF_®¶;
     1.8 +		
     1.9 +import ¶FIFOF®¶;
    1.10 +	       
    1.11 +import ¶FIFO®¶;
    1.12 +	      
    1.13 +import ¶List®¶;
    1.14 +	      
    1.15 +BFIFO.mkBFIFO1 :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
    1.16 +		  _m__ (¶FIFO®¶.¶FIFO®¶ item_t);
    1.17 +					       
    1.18 +BFIFO.mkSizedBFIFO :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
    1.19 +		      ¶Prelude®¶.¶Integer®¶ -> _m__ (¶FIFO®¶.¶FIFO®¶ item_t);
    1.20 +									    
    1.21 +BFIFO.mkBFIFOF1 :: (¶Prelude®¶.¶Bits®¶ item_t item_sz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
    1.22 +		   _m__ (¶FIFOF®¶.¶FIFOF®¶ item_t);
    1.23 +						  
    1.24 +BFIFO.mkBFIFO_16 :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
    1.25 +		    _m__ (¶FIFO®¶.¶FIFO®¶ (¶Prelude®¶.¶Bit®¶ 16))
    1.26 +}