State machine model

• Circuit state represented by values of state variables

  • state vector

• Combinational logic computes:

  • next state (values for next state variables)
    • as function of current state and inputs
  • outputs
    • as function of current state and inputs (Mealy machine)
    • as function of current state only (Moore machine)

Previous slide

Next slide

Back to first slide

View graphic version