Lecture 3
Lecture 3
Design
Dr. Omar A. M. Aly
Dr. Diaaeldin Abdelrahman
[email protected]
Chapter 3:
Gate-Level
Minimization
Dr. Omar A. M. Aly
Dr. Diaaeldin Abdelrahman
[email protected]
M. M. Mano, “Digital Design With an Introduction to the Verilog HDL,” 5th Edition, Pearson
Education, 2013.
Outline
Introduction
The Map Method
Four-Variables K-Map
Product-of-Sum Simplification
Don’t Care Conditions
NAND and NOR Implementations
Gate input costs: the number of inputs to the gates in the implementation
corresponding exactly to the given equation or equations. (G - inverters not
counted, GN - inverters counted)
For function F(x,y), the two adjacent cells containing 1’s can be combined
using the Minimization Theorem:
F (x, y ) = x y + x y = x
x=1 1 1
For G(x,y), two pairs of adjacent cells containing 1’s can be combined using
the Minimization Theorem:
Solution:
om3+m7=yz
om4+m6=xz’
oTherefore, F = yz + xz’
Digital Circuits Design Slide 23
Three-Variable K-Map
Example: Simplify the Boolean function F = A’C + A’B + AB’C + BC
Solution:
1) Express this function as a sum of minterms.
2) Find the minimal sum-of-products expression
Solution:
2)
BD 1 1 BD 1 1
B B
1 1 1 1
A A
1 1 1 1 1 1 1 1
AB
D D
AD Minterms covered by single prime implicant
BC
Digital Circuits Design Slide 34
Prime Implicant Practice
Find all prime implicants for:
1)
2) G(A, B, C, D) = m(0,2,3,4,7,12,13,14,15)
Hint: There are seven prime implicants!
Example 1: A logic function having the binary codes for the BCD digits as
its inputs. Only the codes for 0 through 9 are used. The six codes, 1010
through 1111 never occur, so the output values for these codes are “x” to
represent “don’t cares.”
Solution:
If we mark the empty squares by 0’s and combine them into valid adjacent
squares, we obtain a simplified sum-of-products expression of the
complement of the function (i.e., of F’ )
Solution:
Selected Essential
1 1 1 1
1 1 1 1 1 1 1 1
1 1
1 1 1 1
D
Minterms covered by essential prime implicants
1 x 1 x
1 x x 1 1 x x 1
B B
x x
A A
1 1 x 1 1 x
D D
Minterms covered by essential prime implicants
NAND and NOR gates are easier to fabricate with electronic components
and are the basic gates used in all IC digital logic families
Because of the prominence of NAND and NOR gates in the design of digital
circuits, rules and procedures have been developed for the conversion from
Boolean functions given in terms of AND, OR, and NOT into equivalent
NAND and NOR logic diagrams
1) Convert all AND gates to NAND gates with AND-invert graphic symbols
2) Convert all OR gates to NAND gates with invert-OR graphic symbols
3) Check all the bubbles in the diagram. For every bubble that is not
compensated by another small circle along the same line, insert an
inverter (a one-input NAND gate or complement the input literal)