anchor.diff:                  else if(mtimecmp[i] > newData && mtip[i]) begin
                       cores[i].pRq.enq(MMIOPRq {
                           target: MTIP,
  -                        write: True,
  +                        func: St,
                           data: 0
                       });
                       changeMTIP[i] = True;
  
positive.code:             if(!mtip[i] && mtimecmp[i] <= mtime) begin
                  cores[i].pRq.enq(MMIOPRq {
                      target: MTIP,
                      write: True,
                      data: 1
                  });
                  mtip[i] <= True;
  
negative.code:                     mtip[offset] <= False;
                      cores[offset].pRq.enq(MMIOPRq {
                          target: MTIP,
                          func: St,
                          data: 0
                      });
                      state <= WaitResp;
  