anchor.diff:  	 for(Integer i = 0; i < valueOf(NumEngineServers); i=i+1) begin
   	    iterCnts[i] <= ic;
   	    mismatchCounts[i] <= 0;
  -	    srcGens[i] <= fromInteger(i)*truncate(chunk/4);
   	 end
         endmethod
      endinterface
  
positive.code:       rule start (iterCnts[i] > 0);
  	 re.readServers[i].request.put(MemengineCmd{pointer:pointer, base:fromInteger(i)*chunk, len:truncate(chunk), burstLen:truncate(burstLen*4)});
  	 $display("start %d, %d", i, iterCnts[i]);
        endrule
        rule finish;
  	 $display("finish %d %d", i, iterCnts[i]);
  
negative.code: 	 //mismatchCnt <= mismatchCnt+mismatchCounts[i];
  	 mismatchCounts[i] <= 0;
  	 mismatchFifos[i].enq(mismatchCounts[i]);
        endrule
        rule check;
  	 let v <- toGet(re.dataPipes[i]).get;
  