Lecture 8
Lecture 8
Lecture 8: Synchronous
Sequential Logic Circuits
Spring 2021
Dr. Shawkat S. Khairullah
Department of Computer Engineering 1
University of Mosul
Clocked Synchronous State-Machines
• Such machines have the characteristics:
• Sequential circuits designed using flip-flops.
• All flip-flops use a common clock (clocked synchronous).
• A machine using n flip-flops (state memory) has n state variables (the
outputs of the flip-flops) and 2n states.
• In general, the next state and output of the machine both depend on
the current state of the machine and on the current input:
Next state = F(current state, input)
output = G(current state, input)
This type of state machine is called Mealy Machine
• In some cases the next output depends only on the current state and
not directly on the current input
•
State memory:
Usually edge-triggered
clock
D or JK flip-flops
Moore Machine
3
Clocked Synchronous State-Machine Model
State memory:
Usually edge-triggered
clock
D or JK flip-flops
Mealy machine 4
Clocked Synchronous State-Machine
Model
Moore outputs
External Input Bistable Output
excitation current state Combinational
inputs Combinational
Memory
Logic Logic
devices Mealy outputs
F G
clock
State memory:
Usually edge-triggered
clock
D or JK flip-flops
8
Example 9-1/p511
0
a
y= state variable 0
X1.X2.X3
0 1
State a y=0 X1
1
1
State b y=1 0
X2
1
b
Z=Y
0
X3
Z
1
Q=Y=D
01
X3
(Set a→b)
9
y.X3 Y=1 when y=1 AND X3=0
(Hold b→b)
Example 9-1/p511
X1
X2
X3
y
D Q Z
y
Q
clock
Circuit diagram
11