anchor.diff:              end
               else begin
                   // AMO access nothing: fault
  -                state <= SelectCRq;
  +                state <= SelectReq;
                   cores[reqCore].pRs.enq(MMIOPRs {valid: False, data: ?});
                   if(verbose) begin
                       $display("[Platform - process msip] access nothing");
  
positive.code:                     mtip[offset] <= True;
                      cores[offset].pRq.enq(MMIOPRq {
                          target: MTIP,
                          write: True,
                          data: 1
                      });
                      state <= WaitResp;
  
negative.code:                 else if(mtimecmp[i] > newData && mtip[i]) begin
                      cores[i].pRq.enq(MMIOPRq {
                          target: MTIP,
                          func: St,
                          data: 0
                      });
                      changeMTIP[i] = True;
  