anchor.diff:         endrule
      end
   
  -   rule dotProdValue if (dpCount > 0);
  +   rule dotProdValue;
         Tuple2#(UInt#(addrwidth),UInt#(addrwidth)) xy = xypipes[n].first;
         xypipes[n].deq;
         Vector#(n,Float) vs;
  
positive.code: 
     let n = valueOf(n);
     let k = valueOf(k);
     Bool verbose = False;
  
     Reg#(Bool) doneReg <- mkReg(False);
     Reg#(MatrixDescriptor#(UInt#(addrwidth))) descriptorA <- mkReg(unpack(0));
  
negative.code:       xypipe.deq;
        let x = tpl_1(v);
        let y = tpl_2(v);
        if (verbose) $display($format(fshow("countMulReg=")+fshow(countMulReg)+fshow(" dotprod x=") + fshow(x) + fshow(" y=") + fshow(y)));
  
        for (Integer i = 0; i < valueOf(n); i = i + 1) begin
  	  Maybe#(Float) accum = tagged Invalid;
  