6 interface Ifc_sync#(type a);
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,?,
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);
24 interface get = interface Get
25 method ActionValue#(a) get();
26 return null_wire.crossed;