anchor.diff:        for (Integer k = 0; k < kk; k = k + 1) begin
   	 startBOffset[k] <= fromInteger(k)*numColumnsB;
         end
  +
  +      $dumpfile("test.vcd");
  +      $dumpvars();
      endmethod
      method ActionValue#(Bool) finish();
         if (verbose) $display("mm.finish()");
         doneFifo.deq();
  +      $dumpoff();
         return True;
      endmethod
   
  
positive.code:    PipeOut#(Bool) firstPipe <- mkRepeat(repetitions, toPipeOut(firstFifo));
     PipeOut#(Bool) lastPipe <- mkRepeat(repetitions,  toPipeOut(lastFifo));
  
     Vector#(K,FIFOF#(Float))  accumFifos <- replicateM(mkFIFOF);
     Vector#(K,FIFOF#(Float)) dotfifos <- replicateM(mkFIFOF);
  
     Reg#(Bit#(TLog#(K))) chanReg <- mkReg(0);
     Vector#(2,FIFO#(Bit#(TLog#(K)))) chanFifos <- replicateM(mkSizedFIFO(valueOf(K)));
  
     function Bit#(TLog#(N)) i_v(Integer i) = fromInteger(i);
  
  
negative.code:    interface PipeOut#(Float) pipe;
  endinterface
  
  //(* synthesize *)
  module [Module] mkDotProdServer#(UInt#(TLog#(TMul#(J,K))) label)(DotProdServer#(N));
  
     let n = valueOf(N);
  