anchor.diff:  
   instance Connectable#(AxiStreamMaster#(dataWidth), AxiStreamSlave#(dataWidth));
      module mkConnection#(AxiStreamMaster#(dataWidth) from, AxiStreamSlave#(dataWidth) to)(Empty);
  +`ifdef GET_PUT_WITH_CLOCKS_USE_XILINX_FIFO
  +      cnxProbe <- mkProbe;
  +      rule rl_probe if (from.tvalid() == 1 and to.tready() == 1);;
  +	 cnxProbe <= from.tdata();
  +      endrule
  +`endif
         rule rl_axi_stream;
   	 to.tdata(from.tdata());
   	 to.tkeep(from.tkeep());
  
positive.code: 	 to.tvalid(pack(asgetfifo.notEmpty));
        endrule
        rule rl_deq if (to.tready == 1);
  	 asgetfifo.deq();
        endrule
     endmodule
  
negative.code: import FIFOF::*;
  import GetPut::*;
  import GetPutM::*;
  import Probe::*;
  
  (* always_ready, always_enabled *)
  interface AxiStreamMaster#(numeric type dsz);
  