摘要 |
To prevent a race in an asynchronous state machine branching from one state to either of two others, depending on which of two control signals arrives first, one of the signals is latched in the state just ahead of the branching state. The branching then takes place in the branching state upon arrival of the other signal but in a direction determined by the value of the latched signal. If the latched value indicates a wrong order of arrival, the machine releases the original latched value and latches an updated value of the one signal and returns to the branching state. The looping, with unlatching and relatching, continues until the latched value causes branching to take place in the proper direction. |