State and Statements
As the input description is read:
- (1) Determine the logic equations or microcode and tag them with a state value.
- (2) Determine the state values for nextState.
- (3) Generate the logic equations or microcode to generate nextState.
-
(for microcoded machine, the logic equations are generally "(stateCounter)++;")