anchor.diff:     
      rule complete_burst0;
         let tag <- tag_gen.complete;
  -      dreqFifos.portB.request.put(BRAMRequest{write:False, address:tag});      
  +      dreqFifos.portB.request.put(BRAMRequest{write:False, address:tag, datain: ?, responseOnWrite: ?});      
         compFifo1.enq(tag);
      endrule
      
  
positive.code:       let tag = compReg1;
        let cli = compReg2;
        compFifo0.enq(cli);
        read_buffer.portB.request.put(BRAMRequest{write:False, address:{tag,truncate(cnt)}});
        compReg0 <= cnt-1;
     endrule
     
  
negative.code:       let cli = drq.client;
        let tag <- toGet(compFifo1).get;
        compFifo0.enq(cli);
        read_buffer.portB.request.put(BRAMRequest{write:False, address:{tag,truncate(cnt)}, datain: ?, responseOnWrite: ?});
        compReg0 <= cnt-1;
        compReg1 <= tag;
        compReg2 <= cli;
  