Hello,
I had a question about the transition function in SLICC. The documentation
shows an example "transition(IM, Data, M)" and says that "The initial state is
IM. If an event of type Data occurs in that state, then final state would be M."
Then there is another example with sets: "transition({IS, IM, MI, II}, {Load,
Ifetch, Store, Replacement})" but it's unclear what the final state is here. It
notes "The cross product of these sets will map to the same final state. Note
that the final state cannot be a set." But there is no single final state in
the example code, just the two sets of initial states and events.
Does it mean that each of the states in the first set could transition to any
of the other states in that set through any of the events in the second set?
Otherwise I'm not sure what is going on.
Thanks,
Jordan
_______________________________________________
gem5-users mailing list
[email protected]
http://m5sim.org/cgi-bin/mailman/listinfo/gem5-users
