Finite state machines

• FSM: A system that can visit only a finite number of logically distinct states

• Counters are simple FSMs

  • Outputs and states are identical
  • Counters visit states in a fixed sequence

• FSM behavior can be more complex than counting

  • Outputs and next state can depend on input and present state

• Synchronous FSMs form the basis for nearly all digital systems

Previous slide

Next slide

Back to first slide

View graphic version