src/lib/ifc_sync.bsv

   1 package ifc_sync;
   2
   3   import Clocks::*;
   4   import GetPut::*;
   5
   6   interface Ifc_sync#(type a);
   7     interface Put#(a) put;
   8     interface Get#(a) get;
   9   endinterface
  10   module mksyncconnection#(Clock putclock, Reset putreset,
  11                            Clock getclock, Reset getreset)(Ifc_sync#(a))
  12     provisos(Bits#(a, a__));
  13     CrossingReg#(a) null_wire<- mkNullCrossingReg(getclock,?,
  14                                         clocked_by putclock,
  15                                         reset_by putreset);
  16  //   ReadOnly#(Bit#(a)) null_wire <- mkNullCrossingWire(getclock,
  17 //                                  from_put, clocked_by getclock,
  18 //                                  reset_by getreset);
  19     interface put = interface Put
  20       method Action put(a in);
  21         null_wire<= in;
  22       endmethod
  23     endinterface;
  24     interface get = interface Get
  25       method ActionValue#(a) get();
  26         return null_wire.crossed;
  27       endmethod
  28     endinterface;
  29   endmodule
  30
  31 endpackage
  32