Mercurial > pygar

view core/sim/bdir_dut/BFIFO.bi @ 1:91a1f76ddd62 pygar svn.2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r2] Adding initial lab 5 source
author punk
date Tue, 13 Apr 2010 17:34:33 -0400
parents
children
line wrap: on
line source
     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 }