Circuit, State Diagram, State Table
Circuits with FlipFlop = Sequential Circuit Circuit = State Diagram = State Table State Minimization Sequential Circuit Design Example: Sequence Detector Example: Binary Counter
Circuit, State Diagram, State Table
Circuit, State Diagram, State Table
Circuit, State Diagram, State Table Terms:
State: flipflop output combination
Present state: before clock Next state: after clock
State transition <= clock
1 flipflop
=> 2 states
... N flipflops => 2 ^{N} states
Circuit, State Diagram, State Table Sequential circuit components:
Flipflop(s) Clock Logic gates Input Output
Circuit, State Diagram, State Table State diagram:
Circle => state
Arrow => transition input/output
Circuit, State Diagram, State Table State table:
Left column => current state
Top row => input combination
Table entry => next state, output
Example: Binary Counter 1110 1111 0000 0001
... 0010 0011 0100 0101 ...
next state
present state
ce=0
ce=1
0000
0000
0001
0001
0001
0010
0010
0010
0011
16
...
...
...
states
1101
1101
1110
1110
1110
1111
1111
1111
0000
_{} _{s}_{t}_{a}_{t}_{e} _{t}_{a}_{b}_{l}_{e}
0
0
0
0
0
111
1
1
...
state diagram
1
1
111
1
0
0
0
0
0
Circuit, State Diagram, State Table Example: state diagram = state table
state table/state diagram
circuit
DFF characteristic eq: D = Q*
Circuit, State Diagram, State Table Example: state diagram = state table
state table/state diagram
circuit
DFF characteristic eq: D = Q*
AB
AB
AB
00
01
11
10
00
01
11
10
00
01
11
10
x
x
x
D
00000
D
00000
z
00000
A
B
10111
11000
10011
D A =Ax+Bx
D B =A’B’x
z=Ax
Circuit, State Diagram, State Table
Example:
Show the state diagram of following circuit
Circuit, State Diagram, State Table
Example:
Show the state diagram of following circuit
y = AB D
A
B
_{A} = x+ D _{B} = Ax+B’x
x
Circuit, State Diagram, State Table
Example:
Show the state diagram of following circuit
0
0
00 /0
1
01/0
0
1
0
11 /1
10 /0
1
x+
B
x
D _{B} = Ax+B’x
Circuit, State Diagram, State Table
More Example: Binary Counter – show state diagram and table
Circuit, State Diagram, State Table
More Example: Binary Counter – show state diagram and table
present

next

state

state

A 2 A 1 A 0

A 2 A 1 A 0

0
0
0
1
0
1
0
1
0
0
1
1
1
0
1
0
0
1
1
1
1
0
1
1
1
1
0
0
Circuit, State Diagram, State Table
More Example: Word Problem
Design a 2bit complex counter with one input x that can be
 a down counter when x=0 (  a Johnson counter when x=1
...
11 10 01 00 11 ...
)
(...
00 01 11 10 00 ...)
0
00
01
1
0
0
1
1
1
11
10
0
present
next state
state


x=0

x=1

A B

A B

A B

0 0


1

1

0 1

0 1

0 0

1 1

1 0


0 1

0 0

1

1

1 0

1 0

Circuit, State Diagram, State Table
Quiz:
http://www.eelab.usyd.edu.au/digital_tutorial/part3/tdiag.htm
Circuit, State Diagram, State Table
Quiz: solution
http://www.eelab.usyd.edu.au/digital_tutorial/part3/tdiag.htm
Circuit, State Diagram, State Table
More Example:
http://www.eelab.usyd.edu.au/digital_tutorial/part3/example11.htm