>
> I'm trying to understand the structure of transitions,
> e.g. function arguments. When it says
> transition({IM,IS},{Load,Ifetch}), what does it mean?
This is equivalent to
transition(IM, Load, IM)
transition(IM, Ifetch, IM)
transition(IS, Load, IS)
transition(IS, Ifetch, IS)
> What is the structural difference between
> transition(I,Ifetch,IS) and
> transition(I,L2_Replacement)? Could you please
> elaborate?
the latter implicitly says that the state transitions from state I to
state I (in other words, it stays in the same state)
|