EEM16 Lecture 3 UCLA
-
Upload
dustin-rudiger -
Category
Documents
-
view
217 -
download
0
Transcript of EEM16 Lecture 3 UCLA
-
8/14/2019 EEM16 Lecture 3 UCLA
1/29
EEM16/CSM51A:
Logic Design of Digital Systems
Lecture #3Design of Combinational Systems
Prof. Danijela Cabric
Fall 2013
-
8/14/2019 EEM16 Lecture 3 UCLA
2/29
2
Dual: Product of Sums (PoS) Form
2
-
8/14/2019 EEM16 Lecture 3 UCLA
3/29
3
Maxterms
For a boolean function of n variables x1, , xn,
a sum term in which each of the n variables
appears once (either complemented, oruncomplemented) is called a maxterm
Examples
-
8/14/2019 EEM16 Lecture 3 UCLA
4/29
4
Indexing Maxterms
4
Maxterm Mjindexed by integerj=i=0,,n-1xi2i
-
8/14/2019 EEM16 Lecture 3 UCLA
5/29
5
Example: E(x2, x1, x0) = M0M5M6 =
M(0,5,6)
-
8/14/2019 EEM16 Lecture 3 UCLA
6/29
Example: Table Product of Sums
(Maxterms)
6
-
8/14/2019 EEM16 Lecture 3 UCLA
7/29
7
Conversion Among Canonical Forms
7
-
8/14/2019 EEM16 Lecture 3 UCLA
8/29
Universal Set of Gates
A set of gates using which any combinational system
can be built
Example: {AND, OR, NOT}
8
-
8/14/2019 EEM16 Lecture 3 UCLA
9/29
More Examples of Universal Sets
{AND, NOT} and {OR, NOT}
9
-
8/14/2019 EEM16 Lecture 3 UCLA
10/29
Another Universal Set: {NAND}
10
-
8/14/2019 EEM16 Lecture 3 UCLA
11/29
Mixed Logic Notation
11
-
8/14/2019 EEM16 Lecture 3 UCLA
12/29
Analysis of Gate Networks
Functional analysis Obtain I/O switching expressions
Obtain a tabular representation of the binary function (if
few variables)
Define high-level input and output variables
use codes to related them to bit-vectors
Obtain a high-level specification of the system
Network characteristics input load factors
fan-out factors
delays12
-
8/14/2019 EEM16 Lecture 3 UCLA
13/29
Obtain Switching Expressions
Assign names to each connection in the
network
Write switching expressions for each gate
output
Substitute all internal names to obtain
external outputs in terms of external input
13
-
8/14/2019 EEM16 Lecture 3 UCLA
14/29
Example Gate Network for Analysis
14
-
8/14/2019 EEM16 Lecture 3 UCLA
15/29
Analysis of Networks with NOT,
NAND, and NOR
15
-
8/14/2019 EEM16 Lecture 3 UCLA
16/29
Another Example: A NOR Network
16
-
8/14/2019 EEM16 Lecture 3 UCLA
17/29
Design optimization
Important real-life design criteria Delay: the time from inputs changing to new correct stable output
Size: area taken by the circuit (proxy: # of transistors)
Other criterion: power, reliability,
17
-
8/14/2019 EEM16 Lecture 3 UCLA
18/29
Two Level Networks
18
Two types
AND-OR network: Sum of Products
OR-AND network: Product of Sums
Inputs in complemented and uncomplemented forms
-
8/14/2019 EEM16 Lecture 3 UCLA
19/29
Two-level networks with Different Costs for
f(x2, x1, x0) = one-set(3, 6, 7)4
19
-
8/14/2019 EEM16 Lecture 3 UCLA
20/29
Minimal Two-Level Networks
Goal: minimum area minimum # of
transistors
in real life, wires also cost area
Algebraic definition:fewest # of
literals and terms
Each literal and term translates to a
gate input, each of which translates to
two transistors
Inverters ignored
20
-
8/14/2019 EEM16 Lecture 3 UCLA
21/29
Minimal Expressions
21
-
8/14/2019 EEM16 Lecture 3 UCLA
22/29
Graphical Representation of Switching
Functions: Karnaugh Maps (or K-Maps)
2-dimensional arrays of cells representswitching functions or expressions
n variables 2ncells
Each cell represents a minterm
cell i = assignment i
minterms differing in one variable are ajacent
adjacency condition
any set of 2radjacent rows or columns: assignments
differ in r variables
Useful graphical aid in simplifying expressions22
-
8/14/2019 EEM16 Lecture 3 UCLA
23/29
K-Maps
23
-
8/14/2019 EEM16 Lecture 3 UCLA
24/29
K-Maps (n=1,2,3)
24
-
8/14/2019 EEM16 Lecture 3 UCLA
25/29
K-maps (n=4)
25
-
8/14/2019 EEM16 Lecture 3 UCLA
26/29
K-maps (n=5)
26
-
8/14/2019 EEM16 Lecture 3 UCLA
27/29
Representation of Switching Functions
27
-
8/14/2019 EEM16 Lecture 3 UCLA
28/29
Rectangles of 1 and 2 Cells and Sum of
Products
28
-
8/14/2019 EEM16 Lecture 3 UCLA
29/29
Rectangle of 4 Cells and Sum of Products
Product term of n-2 literals rectangle of four adjacent 1-cells
29
Product term of n-s literals rectangle of 2
s
adjacent 1-cells