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:     
      rule copyReadWriteRule (copyBusy);
         let data <- copy_read_chan.readData.get;
         //$display("copyReadWrite addr %h", copyWriteAddr);
         copy_write_chan.writeReq.put(DmaRequest{handle: copyWriteHandle, address: copyWriteAddr, burstLen: 1, tag: copyWriteAddr[8:3]});
         copy_write_chan.writeData.put(DmaData{data: data.data, tag: copyWriteAddr[8:3]});
         copyWriteAddr <= copyWriteAddr + 8;
  