P01-Digital Systems - Lecture1-4
P01-Digital Systems - Lecture1-4
Introduction
1
Digital Electronics & Systems
2
Course Objectives
• To understand the fundamentals of Boolean Logic and the
building blocks of digital circuits
• To introduce the abstraction of simple practical problems
into Boolean Logic and their efficient implementation and
to introduce the fundamentals of design with
combinational and sequential subsystems
3
Course Outcomes
• CO1: Able to frame Boolean equations for solving a
simple real-life problems and realize them using gate-level
building blocks
• CO2: Able to apply minimization techniques for efficient
Boolean logic implementation
• CO3: Able to realize digital blocks using combinational
and sequential subsystems
• CO4: Able to design using state machine descriptions for
practical real-life engineering problems
4
Syllabus
Unit 1 Introduction to logic circuits - Variables and functions, inversion - Truth
tables - Logic gates and Networks - Boolean algebra - Synthesis using gates -
Design examples - Optimized implementation of logic functions - Karnaugh
map - Strategy for minimization - Minimization of product of sums forms -
Incompletely specified functions - Multiple output circuits - Tabular method
for minimization - Number representation and arithmetic circuits: Addition of
unsigned numbers - Signed numbers - Fast adders.
Unit 2 Combinational circuit building blocks - Multiplexers - Decoders -
Encoders - Code converters - Arithmetic comparison circuits - Sequential
circuit building blocks - Basic latch - Gated SR latch - Gated D latch - Master
slave and edge triggered - D flip-flops - T flip-flop - JK flip-flop - Registers -
Counters - Reset synchronization - Other types of counters.
Unit 3 Synchronous sequential circuits - Basic design steps - State assignment
problem - Mealy state model - Serial adders - State minimization -
Introduction to Asynchronous sequential circuits – Introduction to CMOS
logic.
5
INTRODUCTION
ANALOG VS DIGITAL
6
Digital Systems
Digital vs. Analog Waveforms
+5 +5
1 0 1
V V
Time Time
–5 –5
Digital: Analog:
only assumes discrete values values vary over a broad range
continuously
7
Digital Systems cntd..
• A digital signal is a signal that can only have discrete
values in time
– Most common are binary digital signals, where only
two values are allowed often designated as 0 and 1
• The opposite is analog signals that can take infinite values
8
Number systems
Hexadecimal number
D5A1
Digital Hardware Systems
Boolean Algebra and Logical Operators
9
Variables & Functions
10
Representations of Digital Design:
Switches
Normally Open
11
A switch connects two points under control signal.
x = 0 x = 1
12
S
Battery Light
L=1 =>
x
Light is ON
S
Power
supply x Light
14
S S
Power x1
supply x2 Light
x1
Power
supply S Light
x2
The symbol
. Is called
AND
operator
16
Parallel Connection => logical OR operation
Symbol + is
called OR
operator
17
Here three switches are controlling the light in more complex way.
Can you identify the relation?
X1
S
Power
supply S X3 Light
X2
18
Here the series parallel connection of switches realizes the logic function
X1
S
Power
supply S X3 Light
X2
• (A+B).(C+D)
• A.(B+C).D
20
LECTURE 2
21
• Till now we saw some positive action takes place when a
switch is closed, such as turning the light on.
• It is equally interesting and useful to consider the
possibility that a positive action takes place when a switch
is opened
22
Complement Operation (Inversion)
Power
supply x S Light
24
Try implementation using switches
• ((A.B)+C).(D)
• (A+B)’
25
Truth Tables
Useful aid for giving information for a logic function.
26
Truth Table for 3 input variables
28
x1
x2
x1
x1 ×x2 x1 × ×xn
x2 ×
x2
xn
x1
x2
x1
x1 + x2 x 1 + x2 + + xn
x2
xn
(b) OR gates
x x
Figure: The basic gates.
(c) NOT gate
29
A Larger circuit is implemented by Network of
Gates
x
1
x
2
f = ( x + x ) ×x
x 1 2 3
3
30
Analysis vs Synthesis of Logic Networks
31
Analysis example
32
Timing Diagram: Functional Behavior
34
Truth table with 4 input variables
35
LECTURE 3
36
Boolean Algebra
• Boolean Algebra
– Axioms of Boolean Algebra
– Single Variable Theorem
– Two and Three variable Properties
– Complements and Duals
37
Boolean Algebra
2a
2b
3a
3b
4a
4b
39
Boolean Algebra: Single Variable Theorems
5a
5b
6a
6b
7a
7b
8a
8b
9
40
Principle of Duality
• Given a logic expression, its dual is obtained by replacing all +
operators with · operators, and vice versa, and by replacing all
0s with 1s, and vice versa.
• The dual of any true statement (axiom or theorem) in Boolean
algebra is also a true statement.
A+ 0 = A A. 1 = A
41
Boolean Algebra: Two & Three variable
Properties
10a
10b
11a
11b
(22)
12a
(23)
12b
13a
13b
42
Boolean Algebra: Two & Three variable
Properties
43
Boolean Algebra: DeMorgans Theorem
15a
15b
44
Proof of DeMorgan’s Theorem using
TruthTable
45
Proof of DeMorgan’s Theorem using
TruthTable
46
Boolean Algebra: Two & Three variable
Properties
Proof of 16a
x +x’ y = (x + x’)(x + y) = 1· (x + y) = x + y
• Use 12b(distributive ) 8b 6a
Proof of 16b
x . (x’+ y) = x . x’ + x . y = 0 + x . y = x . y
Use 8a 6b
47
Boolean Algebra: Two & Three variable
Properties
17a
17b
Proof for 17a
Consensus Theorem gives us the relationship
XY + X’Z + YZ = XY + X’Z
Note that in doing the reduction the first step is to add 1 to
the YZ term. That 1 is in the form, (X+X’).
48
Boolean Algebra: Two & Three variable
Properties
Proof for 17b
49
Other examples
Simplify the following-
1. XY+XY’ = X(Y + Y’) = X·1 = X
• Use 12a(distributive ) 8b 6a
2. X· (X+Y)=X·X+X·Y= X+XY=X(1+Y)=X·1=X
• Use 12b(distributive) 7a 12a 5b
3. (X+Y) ·(X+Y’)=XX+XY’+XY+YY’=
X+XY’+XY+0=X(1+Y’+Y)=X·1=X
4. X(X’+Y) = XX’+XY = 0 + XY = XY
50
Simplify the logic function-
51
Examples
52
LECTURE 4
53
Examples
• Simplify F=X’YZ+X’YZ’+XZ
54
Affect on implementation
• F = X’YZ + X’YZ’ + XZ
• Reduces to F = X’Y + XZ
55
56
• Try
57
• Solution:
58
Complement of a function
• In real implementation sometimes the complement of a
function is needed. Have F=X’YZ’+X’Y’Z
a.b=a+b
59
How Duals and Complement are related
• What is meant by the dual of a function?
– The dual of a function is obtained by interchanging OR
and AND operations and replacing 1s and 0s with 0s
and 1s.
• Shortcut to getting function complement
– Starting with the equation on the previous slide
– Generate the dual F=(X’YZ’)+(X’Y’Z)
– Complement each literal to get:
– F’=(X+Y’+Z)(X+Y+Z’)
60
Synthesis of simple circuits
61
Synthesis using AND,OR, NOT Gates
62
Sum of Products Canonical form
63
Two Variable Minterms
64
Simple problem of synthesis
• Assume that x1 and x2 represent the states of two switches,
either of which may produce a 0 or 1.
• The function of the circuit is to continuously monitor the
state of the switches and to produce an output logic value 1
whenever the switches (x1, x2) are in states(0, 0), (0, 1), or
(1, 1). If the state of the switches is (1, 0), the output
should be 0.
• We can express the required behavior using a truth table,
65
66
Canonical SOP –implementation using Logic
Gates
67
Canonical SOP expression can be reduced
using Boolean Algebra
4.Using 8b and 6a
68
Cost = No. of Logic gates +
No. of inputs to gates
Cost = 6 + 11 = 17
Cost = 2 + 3 = 5
69
LECTURE 5
70
Three Variable Minterms
71
• Consider three variable function and synthesize the circuit
for it.
72
• Consider three variable function and synthesize the circuit
for it.
73
• Draw circuit diagram
• Reduce it and again draw the reduced circuit diagram.
• Compare the cost-A good indication of the cost of a logic
circuit is the total number of gates plus the total number of
inputs to all gates in the circuit.
74
75
Example
Another example:
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
76
Product of Sum Canonical Form
77
Maxterms
78
Maxterms
• The principle of duality suggests that if it is possible to
synthesize a function f by considering the rows in the truth
table for which f = 1, then it should also be possible to
synthesize f by considering the rows for which f = 0.
• This alternative approach uses the complements of
minterms, which are called maxterms.
79
• Consider three variable function and synthesize the circuit
for it using Maxterms.
80
• Consider three variable function and synthesize the circuit
for it using Maxterms
81
Reduce it and draw circuit diagram
82
Q1> Write the function in canonical SOP form.
Q2> Simplify the function in SOP form.
Q3>Write corresponding Maxterm list-canonical POS form.
Q4>Reduce canonical POS expression.
83
84
Find minimum cost SOP expression for this
function
85
86
Try this problem: Write Truth Table and draw
circuit diagram
87
Truth Table and Circuit diagram
88
Synthesis Example
89
90