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