anchor.diff:              method aresetn = vs_axi_gp[i].aresetn;
           endinterface;
       for (Integer i = 0; i < 2; i = i + 1)
  -       rule axi_master_handshake;
  +       begin
  +       rule axi_master_handshake1;
   	    vs_axi_hp[i].arvalid(vtopsw_axi_hp[i].arvalid);
  +       endrule
  +       rule axi_master_handshake2;
   	    vs_axi_hp[i].awvalid(vtopsw_axi_hp[i].awvalid);
  +       endrule
  +       rule axi_master_handshake3;
               vs_axi_hp[i].rready(vtopsw_axi_hp[i].rready);
  +       endrule
  +       rule axi_master_handshake4;
   	    vs_axi_hp[i].wvalid(vtopsw_axi_hp[i].wvalid);
  +       endrule
  +       rule axi_master_handshake5;
               vs_axi_hp[i].bready(vtopsw_axi_hp[i].bready);
          endrule
  +       end
       for (Integer i = 0; i < 4; i = i + 1)
           vtops_axi_hp[i] = interface AxiSlaveHighSpeed#(data_width, id_width);
               interface AxiSlaveCommon axi;
               interface Put req_ar;
  -                method Action put(AxiREQ#(id_width) v) if (vs_axi_hp[i].arready());
  +                method Action put(AxiREQ#(id_width) v) if (vs_axi_hp[i].arready() != 0);
                       vs_axi_hp[i].araddr(v.addr);
                       vs_axi_hp[i].arburst(v.burst);
                       vs_axi_hp[i].arcache(v.cache);
  
positive.code:     vusb[0] = foo.usb0;
      vusb[1] = foo.usb1;
      for (Integer i = 0; i < 2; i = i + 1)
         rule axi_master_handshake;
  	    vm_axi_gp[i].arready(vtopmw_axi_gp[i].arready);
  	    vm_axi_gp[i].awready(vtopmw_axi_gp[i].awready);
              vm_axi_gp[i].rvalid(vtopmw_axi_gp[i].rvalid);
  	    vm_axi_gp[i].wready(vtopmw_axi_gp[i].wready);
              vm_axi_gp[i].bvalid(vtopmw_axi_gp[i].bvalid);
         endrule
      for (Integer i = 0; i < 2; i = i + 1)
          vtopm_axi_gp[i] = interface AxiMasterCommon#(32, id_width);
              interface Get req_ar;
                   method ActionValue#(AxiREQ#(id_width)) get() if (vm_axi_gp[i].arvalid());
                       AxiREQ#(id_width) v;
                       v.addr = vm_axi_gp[i].araddr();
                       v.burst = vm_axi_gp[i].arburst();
  
negative.code:                 endmethod
              endinterface
              interface Put req_aw;
                  method Action put(AxiREQ#(id_width) v) if (vs_axi_hp[i].awready() != 0);
                      vs_axi_hp[i].awaddr(v.addr);
                      vs_axi_hp[i].awburst(v.burst);
                      vs_axi_hp[i].awcache(v.cache);
  