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