496 CHAPTER 11 / SYNCHRONOUS FSM DESIGN CONSIDERATIONS
11.2.1 ORG Analysis Procedure Involving Two Race Paths
Certain facts emerge in the ORG discussions that have been presented so far. For reference
purposes these facts are presented in the following procedure:
r
Notice whether or not the origin and destination states in a given state-to-state
transition have the same or different output action relative to a given output. If
the origin and destination states have the same output action relative to a given
output (that is, both are output states or both are not output states), then check
to see if a potential ORG exists via the race states. If the origin and destination
states have different output actions (that is, one is an output state but the