PPT Slide
7 – Sequential Logic Examples
Traffic light controller as two communicating FSMs
Without separate timer
- S0 would require 7 states
- S1 would require 3 states
- S2 would require 7 states
- S3 would require 3 states
- S1 and S3 have simple transformation
- S0 and S2 would require many more arcs
- C could change in any of seven states
By factoring out timer
- greatly reduce number of states
- counter only requires seven or eight states