Ali Adib Arnab�Senior Lecturer and Chairman, Department of Electrical and Electronic Engineering�University of Global Village�MSc in Telecommunication and Wireless Systems and Management, Queen Mary University of London
My Google Site Link: https://sites.google.com/view/ali-adib-arnab/home
Topic 5
Synchronous Sequential Logic
Latches
3
S R | Q |
0 0 | Q0 |
0 1 | 0 |
1 0 | 1 |
1 1 | Q=Q’=0 |
No change
Reset
Set
Invalid
C S R | Q |
0 x x | Q0 |
1 0 0 | Q0 |
1 0 1 | 0 |
1 1 0 | 1 |
1 1 1 | Q=Q’ |
No change
No change
Reset
Set
Invalid
Controlled Latches
Eastern Mediterranean University
4
C D | Q |
0 x | Q0 |
1 0 | 0 |
1 1 | 1 |
No change
Reset
Set
C
Timing Diagram
D
Q
t
Output may change
D
Q
Q
Q (t+1) = D
When Clock is enabled
Q(t+1) = Q(t)
When Clock is disabled
Controlled Latches (Task 1)
Eastern Mediterranean University
5
C D | Q |
0 x | Q0 |
1 0 | 0 |
1 1 | 1 |
No change
Reset
Set
C
Timing Diagram
D
Q
t
Output may change
D
Q
Q
Q (t+1) = D
When Clock is enabled
Q(t+1) = Q(t)
When Clock is disabled
Controlled Latches
Eastern Mediterranean University
6
C D | Q |
0 x | Q0 |
1 0 | 0 |
1 1 | 1 |
No change
Reset
Set
C
Timing Diagram
D
Q
Output may change
D
Q
Q
Q (t+1) = D
When Clock is enabled
Q(t+1) = Q(t)
When Clock is disabled
Flip-Flops
Eastern Mediterranean University
7
D = TQ’ + T’Q = T ⊕ Q
J
Q
Q
K
T
D
Q
Q
T
D = JQ’ + K’Q
T
Q
Q
Flip-Flops
Eastern Mediterranean University
8
D Latch
(Master)
D
C
Q
D Latch
(Slave)
D
C
Q
Q
D
CLK
CLK
D
QMaster
QSlave
Looks like it is negative edge-triggered
Master
Slave
Flip-Flops
Eastern Mediterranean University
9
J
Q
Q
K
D = JQ’ + K’Q
Q (t+1) = D = JQ’ + K’Q
J | K | Q(t+1) |
0 | 0 | Q(t) |
0 | 1 | 0 |
1 | 0 | 1 |
1 | 1 | Q’(t) |
Flip-Flop Characteristic Equations
Eastern Mediterranean University
10
J
Q
Q
K
J | K | Q(t) | Q(t+1) |
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | |
0 | 1 | 1 | |
1 | 0 | 0 | |
1 | 0 | 1 | |
1 | 1 | 0 | |
1 | 1 | 1 | |
No change
Reset
Set
Toggle
Flip-Flop Characteristic Equations
Eastern Mediterranean University
11
J
Q
Q
K
J | K | Q(t) | Q(t+1) |
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 0 | |
1 | 0 | 1 | |
1 | 1 | 0 | |
1 | 1 | 1 | |
No change
Reset
Set
Toggle
Flip-Flop Characteristic Equations
Eastern Mediterranean University
12
J
Q
Q
K
J | K | Q(t) | Q(t+1) |
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | |
1 | 1 | 1 | |
No change
Reset
Set
Toggle
Flip-Flop Characteristic Equations
Eastern Mediterranean University
13
J
Q
Q
K
J | K | Q(t) | Q(t+1) |
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 1 |
1 | 1 | 1 | 0 |
No change
Reset
Set
Toggle
Mealy and Moore Models
Eastern Mediterranean University
14
Mealy and Moore Models
Eastern Mediterranean University
15
Fig. 5.21 Block diagram of Mealy and Moore state machine
Mealy and Moore Models
Eastern Mediterranean University
16
Present State | I/P | Next State | O/P | ||
A | B | x | A | B | y |
0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 0 | 1 |
0 | 1 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 1 |
1 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 |
1 | 1 | 1 | 1 | 0 | 0 |
Mealy
For the same state,�the output changes with the input
Present State | I/P | Next State | O/P | ||
A | B | x | A | B | y |
0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 0 |
1 | 1 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 0 | 1 |
Moore
For the same state,�the output does not change with the input
Binary Counter Example
Eastern Mediterranean University
17
Binary Counter Example
Eastern Mediterranean University
18
Binary Counter Example
Eastern Mediterranean University
19
Memory Hierarchy
Registers
21
Storage registers
22
ROM
23
ROM
24
Function table
25
| |
0 0 | 0 1 |
0 1 | 1 0 |
1 0 | 1 1 |
1 1 | 1 0 |
F0 (A,B) = A’B+AB’+AB
F1(A,B) = A’B’
22 x 2
ROM
2 bit Input
(Address)
2 bit Output
(Data)
A B F0 F1
Published Papers��[1] Ali Adib Arnab, Sheikh Sadia Afrin, F.M. Fahad, Hasan U. Zaman, "A cost effective way to build a web controlled search and CO detector rover," DOI:10.1109/CCWC.2017.7868451 (Received the track Best Paper Award), Proceedings of the 7th IEEE Annual Computing and Communication Workshop and Conference (IEEE CCWC 2017), Las Vegas, USA, 9-11 January, 2017, Publisher: IEEE�[2] Ali Adib Arnab, Sheikh Md. Razibul Hasan Raj, John Schormans, Sultana Jahan Mukta, Nafi Ahmad "Analysis of the Cost of Varying Levels of User Perceived Quality for Internet Access," https://doi.org/10.1007/978-3-030-68154-8_36 , Proceedings of the 3rd International Conference on Intelligent Computing & Optimization – ICO 2020, Hua Hin, Thailand, 22-23 April, 2021, Publisher: Springer