State Equations from Jan.12 Lecture

Posted by John Chappel on January 14, 1998 at 09:49:33:

Here are the state equations for the rest of the
sequence detector I talked about on Jan. 12.

-- State B

S1 <= (not RESET) and X and (s0 or s1 or s2);

-- State C

S2 <= (not RESET) and (not X) and (s1 or s3);