anchor.diff:  			   idx = bStartReg + jj;
   			else
   			   idx = bStartReg + bLenReg - jj - 1;
  -			strB.request.put(BRAMRequest{write: False, responseOnWrite: False, address: idx, datain: 0});
  +			strB.request.put(BRAMRequest{write: False, responseOnWrite: False, address: idx, datain: ?});
   		     endaction
   		     if (aData == bData)
   			tmp = k0jm1 + 1;
  
positive.code: 		     idx = aStartReg + ii - 1;  // 0 to aLen - 1
  		  else
  		     idx = aStartReg + aLenReg - ii;  // aLen-1 downto 0
  		  strA.request.put(BRAMRequest{write: False, responseOnWrite: False, address: idx, datain: 0});
  	       endaction
  	       /* Read b[j] */
  	       action
  
negative.code: 		     idx = bStartReg;
  		  else
  		     idx = bStartReg + bLenReg - 1;
  		  strB.request.put(BRAMRequest{write: False, responseOnWrite: False, address: idx, datain: ?});
  	       endaction
  	       /* start read of k0j */
  	       matL.request.put(BRAMRequest{write: False, responseOnWrite: False, address: rStartReg + 1, datain: ?});
  	    endpar
  	    action
  	       let ta <- strA.response.get(); /* read a[i] */
  