anchor.diff:  	 //mismatchCnt <= mismatchCnt+mismatchCounts[i];
   	 mismatchCounts[i] <= 0;
   	 mismatchFifos[i].enq(mismatchCounts[i]);
  -	 srcGens[i] <= fromInteger(i)*truncate(chunk/4);      
         endrule
         rule check;
   	 let v <- toGet(re.dataPipes[i]).get;
  
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: 	 for(Integer i = 0; i < valueOf(NumEngineServers); i=i+1) begin
  	    iterCnts[i] <= ic;
  	    mismatchCounts[i] <= 0;
  	 end
        endmethod
     endinterface
  