anchor.diff:         copy_write_chan.writeData.put(DmaData{data: data.data, tag: copyWriteAddr[8:3]});
          copyWriteAddr <= copyWriteAddr + 8;
       endrule
  +   
       
      Stmt copyFinish = 
      seq
  
positive.code: 	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	       f_in.deq;  // discard words 4-7
  	    copyBusy <= True;
  	 endseq
     endseq;
  
negative.code: 	    while (copyWriteCount > 0)
  	       action
  		  let v <- copy_write_chan.writeDone.get;
  		  $display("copyWriteAck");
  		  copyWriteCount <= copyWriteCount - 8;	 
  	       endaction
  	    f_out.enq(0);
  