gate-level minimization - basavaraj talawar · outline k-map method product-of-sums simplification...

77
Gate-Level Minimization Ch. 3. Mano & Ciletti

Upload: others

Post on 25-Sep-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Gate-Level Minimization

Ch. 3. Mano & Ciletti

Page 2: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Outline● K-Map Method● Product-of-Sums Simplification● Don’t Care Conditions● NAND and NOR● Exclusive OR (XOR)● Parity Generation & Checking

Page 3: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Gate-Level Minimization● Boolean functions describe a Digital

Circuit.● Gate Level Minimization techniques

find an optimal circuit.● Done in logic Synthesis tools

Page 4: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Implement

Page 5: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

K-Map Method● Simplify

Maurice Karnaugh (1924 – )

Page 6: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Map Method● Simplify

Page 7: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Map Method● Simplify

Page 8: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Map Method● Simplify

Page 9: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Map Method● Simplifiy

Page 10: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Map Method● Simplifiy

Page 11: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Map Method● Simplifiy

Page 12: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

4-variable K-Map

Page 13: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

4-variable K-Map

Page 14: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

4-variable K-Map

Page 15: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Prime Implicant● A prime implicant is

a product term obtained by combining the maximum possible number of adjacent squares in the map

Page 16: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Sum-of-Products Simplification

Page 17: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Product-of-Sums Simplification

Page 18: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Product-of-Sums Simplification

Page 19: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Product-of-Sums Simplification

Page 20: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Product-of-Sums Simplification

F F

Page 21: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Don’t Care Conditions

Page 22: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Don’t Care Conditions

Page 23: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Don’t Care Conditions

Page 24: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NAND and NOR

Page 25: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NAND and NOR

Page 26: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NAND and NOR

Page 27: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NAND and NOR

Page 28: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Convert to NAND-NOR

Page 29: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Convert to NAND-NOR

F

Page 30: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Convert to NAND-NOR

Page 31: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Convert to NAND-NOR

F

Page 32: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Example

Page 33: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Example

Page 34: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Example● Implement

Page 35: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Example

Page 36: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Multilevel Nand Circuits

Page 37: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Multilevel Nand Circuits

Page 38: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NOR Implementation

Page 39: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NOR Implementation

Page 40: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NOR Implementation

Page 41: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NOR Implementation

Page 42: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NOR Implementation

Page 43: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

NOR Implementation

F

Page 44: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Implement● AND-NOR, OR-NAND, NAND-

AND, NOR-OR

F=∑ (0,6)

Page 45: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Implement● AND-NOR, OR-NAND, NAND-

AND, NOR-OR

Page 46: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Implement

Page 47: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Implement

Page 48: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Implement

Page 49: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Exclusive OR (XOR)

Page 50: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR

Page 51: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR

Page 52: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR with AND–OR–NOT

Page 53: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR with AND–OR–NOT

Page 54: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR with NAND gates

Page 55: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR with NAND gates

Page 56: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR

Page 57: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR

Page 58: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Odd Function● Function to flag odd number of 1s

in a sequence of bits

Page 59: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Odd Function

Page 60: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Odd Function

Page 61: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even Function

Page 62: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even Function

Page 63: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even Function

Page 64: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Parity Generation & Checking

● Error detection and correction codes

Page 65: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Parity Generation & Checking

● Error detection and correction codes

● Parity bit detects errors during the transmission of binary information

Page 66: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Parity Generation & Checking

● Error detection and correction codes

● Parity bit detects errors during the transmission of binary information

● Parity bit: Records if the total number of 1s are odd or even

Page 67: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Parity Generation & Checking● Error detection and correction codes● Parity bit detects errors during the transmission of

binary information● Parity bit: Records if the total number of 1s are odd or

even● Parity generator: Circuit that generates the parity bit

in the transmitter● Parity checker: circuit that checks the parity in the

receiver

Page 68: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even-Parity-Generator

Page 69: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even-Parity-Generator

Page 70: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

3-bit Even-Parity Generator

Page 71: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even-Parity-Checker

Page 72: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Even-Parity-Checker

Page 73: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

4-bit even Parity Checker

Page 74: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Summary● K-Map Method● Product-of-Sums Simplification● Don’t Care Conditions● NAND and NOR● Exclusive OR (XOR)● Parity Generation & Checking

Page 75: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

Extra

Page 76: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking
Page 77: Gate-Level Minimization - Basavaraj Talawar · Outline K-Map Method Product-of-Sums Simplification Don’t Care Conditions NAND and NOR Exclusive OR (XOR) Parity Generation & Checking

XOR