New additions to ABM_SS Model (cont)
New net connections from fetch to other modules
- firstctx - integer type, context pointer
- lastctx - integer type, context pointer
- flushctx - boolean type, TRUE for one clock cycle. Will be TRUE for one clock cycle when a misprediction has been made.
Models can detect when a new context is allocated by saving the last known value of ‘lastctx’.
- If last known value of ‘lastctx’ is different from current value, then a new context has been allocated!
Under speculative execution if firstctx NOT EQUAL to lastctx!