anchor.diff:  	    $display("copyStart from %h to %h count %h",
   	       copyReadAddr, copyWriteAddr, copyReadCount);
   	    copyBusy <= True;
  -	     */
   	 endseq
      endseq;
         
       rule copyReadRule (copyBusy && (copyReadCount != 0));
  -       $display("copyRead %h, count %h", copyReadAddr, copyReadCount);
  +       //$display("copyRead %h, count %h", copyReadAddr, copyReadCount);
          copy_read_chan.readReq.put(DmaRequest{handle: copyReadHandle, address: copyReadAddr, burstLen: 1, tag: copyReadAddr[8:3]});
          copyReadAddr <= copyReadAddr + 8;
          copyReadCount <= copyReadCount - 8;
  
positive.code: 	    while (copyWriteCount > 0)
  	       action
  		  let v <- copy_write_chan.writeDone.get;
  		  $display("copyWriteAck");
  		  copyWriteCount <= copyWriteCount - 8;	 
  	       endaction
  	    f_out.enq(0);
  
negative.code:       while(True)
  	 seq
  	    while (copyBusy) noAction;
  	    /*
  	    for (cmdCtr <= 0; cmdCtr < 8; cmdCtr <= cmdCtr + 1) 
  	       action
  		  $display("COPY %h %h", cmdCtr, f_in.first());
  		  f_in.deq();
  	       endaction
  	    
  	    */
  	    action
  	       copyTag <= f_in.first()[31:0];
  	       f_in.deq();  // word 0
  