CPU Architecture : Assigning states.






1) 
Assign FETCH1 to counter value 0 and use the CLR input to the counter to get to this state.

FETCH1 is the only state that can be reached by more than one state, it's reached from four states.

Branches to FETCH1 can then be made by clearing the counter, this is easy to implement in the control unit logic.

All the other states can only be reached from one other state.