Generic Next State Equations
Generic next state equations can be written directly from the ASM chart as an alternative to the Transition table
S* = (conditions to remain in this state) + (conditions to enter state)
From ASM chart of modulo three counter: S0* = EN’ S0 + EN S2 S1* = EN’ S1 + EN S0 S2* = EN’S2 + EN S1
If One hot encoding and DFFs are used, then Generic Next State equations ARE the specific next State Equations!!
D0 = EN’Q0 + EN Q2 D1 = EN’Q1 + EN Q0 D2 = EN’ Q2 + EN Q1