On Wed, 28 Nov 2012, Jordan Fix wrote:
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.
Can you read the line just before the example code starts? I think it
clearly specifies what happens when the final state has been omitted.
--
Nilay
_______________________________________________
gem5-users mailing list
[email protected]
http://m5sim.org/cgi-bin/mailman/listinfo/gem5-users
