Mercurial > pygar

     1 import Connectable::*;

     2 import GetPut::*;

     3 import ClientServer::*;

     4 

     5 `include "asim/provides/librl_bsv_storage.bsh"

     6 

     7 typedef SCOREBOARD_FIFO_ENTRY_ID#(t) CBUFFToken#(type t);

     8 

     9 interface CBUFF #(numeric type n, type element_type);

    10    interface Get#(CBUFFToken#(n)) reserve;

    11    interface Put#(Tuple2 #(CBUFFToken#(n), element_type)) complete;

    12    interface Get#(element_type) drain;

    13 endinterface

    14 

    15 module mkCBUFF(CBUFF#(n, element_type))

    16    provisos(Bits#(element_type,a__));

    17    

    18    SCOREBOARD_FIFOF#(n,element_type) cbuff <- mkScoreboardFIFOF();

    19 

    20    let res = interface Get;

    21 		method ActionValue#(CBUFFToken#(n)) get();

    22 		   let tok <- cbuff.enq();

    23 		   return tok;

    24 		endmethod

    25 	     endinterface;

    26    

    27    let comp = interface Put;

    28 		 method Action put(Tuple2#(CBUFFToken#(n),element_type) t);

    29 		    cbuff.setValue(tpl_1(t), tpl_2(t));

    30 		 endmethod

    31 	      endinterface;

    32    

    33    let dr = interface Get;

    34 	       method ActionValue#(element_type) get();

    35 		  cbuff.deq();

    36 		  return cbuff.first();

    37 	       endmethod

    38 	    endinterface;

    39 

    40    interface Get reserve = res;

    41    interface Put complete = comp;

    42    interface Get drain = dr;

    43 

    44 endmodule
author	punk
date	Mon, 10 May 2010 20:29:20 -0400
parents	74716e9a81cc
children