EE2174: Digital Logic and Lab Professor Shiyan Hu Department of Electrical and Computer Engineering Michigan Technological University CHAPTER 4 Technology.

Slides:



Advertisements
Similar presentations
Overview Part 1 – Gate Circuits and Boolean Equations
Advertisements

Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 2 – Combinational.
Overview Part 1 – Gate Circuits and Boolean Equations
Other Gate Types COE 202 Digital Logic Design Dr. Aiman El-Maleh
Chapter3: Gate-Level Minimization Part 2
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 2 – Combinational Logic Circuits Part 3.
Overview Part 2 – Combinational Logic Functions and functional blocks
Chapter 2 Logic Circuits.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 7 – Registers.
Overview Part 3 – Additional Gates and Circuits 2-8 Other Gate Types
Module 8.  In Module 3, we have learned about Exclusive OR (XOR) gate.  Boolean Expression AB’ + A’B = Y also A  B = Y  Logic Gate  Truth table ABY.
Digital Logic (Review)
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Verilog Part 2 – Chapter.
Logic Gate Level Part 2. Constructing Boolean expression from truth table First method: write nonparenthesized OR of ANDs Each AND is a 1 in the result.
CS 151 Digital Systems Design Lecture 11 NAND and XOR Implementations.
Chapter 2 – Combinational Logic Circuits Part 1 – Gate Circuits and Boolean Equations Logic and Computer Design Fundamentals.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 2 – Combinational Logic Circuits Part 3.
ENGIN112 L11: NAND and XOR Implementation September 26, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 11 NAND and XOR Implementations.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 3 – Combinational.
ECE 331 – Digital System Design Multi-level Logic Circuits and NAND-NAND and NOR-NOR Circuits (Lecture #8) The slides included herein were taken from the.
Lecture 3. Boolean Algebra, Logic Gates
Chapter 2: Boolean Algebra and Logic Functions
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Fundamentals Tenth Edition Floyd.
Based on slides by: Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. ECE/CS 352: Digital System Fundamentals Lecture 10 – Other Gate Types.
Additional Gates BIL- 223 Logic Circuit Design Ege University Department of Computer Engineering.
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Fundamentals with PLD Programming.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Logic and Computer Design.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 2 – Combinational.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 2 – Combinational.
ECE 331 – Digital System Design NAND and NOR Circuits, Multi-level Logic Circuits, and Multiple-output Logic Circuits (Lecture #9) The slides included.
Gate-Level Minimization Chapter 3. Digital Circuits The Map Method The complexity of the digital logic gates the complexity of the algebraic expression.
1 KU College of Engineering Elec 204: Digital Systems Design Lecture 7 Transformations Factoring - finding a factored form from SOP or POS expression Decomposition.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Logic and Computer Design.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 3 – Combinational Logic Design Part 1 –
1 CS 151 Introduction to Digital Design Chapter 2-8 Other Gate Types.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use ECE/CS 352: Digital Systems.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use ECE/CS 352: Digital Systems.
NAND-NAND and NOR-NOR Circuits and Even and Odd Logic Functions
Chapter 3 Gate-level Minimization. 3-7 NAND and NOR Implementation Digital circuits are frequently constructed with NAND or NOR gates rather than with.
COE 202: Digital Logic Design Combinational Logic Part 4
TUTORIAL CHAPTER 3 GATE_LEVEL MINIMIZATION PART 2 TA. Arwa Al Saad. 9 November 2013.
CS 1110 Digital Logic Design
CS 121 Digital Logic Design Gate-Level Minimization Chapter 3.
Lecture 09 NAND and XOR Implementations. Overview °Developing NAND circuits °Two-level implementations Convert from AND/OR to NAND (again!) °Multi-level.
EE2174: Digital Logic and Lab Professor Shiyan Hu Department of Electrical and Computer Engineering Michigan Technological University CHAPTER 8 Arithmetic.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Verilog Part 3 – Chapter.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Logic and Computer Design.
Ahmad Almulhem, KFUPM 2010 COE 202: Digital Logic Design Combinational Logic Part 4 Dr. Ahmad Almulhem ahmadsm AT kfupm Phone: Office:
Floyd, Digital Fundamentals, 10 th ed Digital Fundamentals Tenth Edition Floyd Chapter 5 © 2008 Pearson Education.
NAND-NAND and NOR-NOR Circuits and Even and Odd Logic Functions ECE 301 – Digital Electronics.
1 Lect # 2 Boolean Algebra and Logic Gates Boolean algebra defines rules for manipulating symbolic binary logic expressions. –a symbolic binary logic expression.
COMPUTER ARCHITECTURE TRUTH TABLES AND LOGIC GATES.
Karnaugh Map and Circuit Design.
Combinational Logic: Other Gate Types
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Logic Design Dr. Oliver Faust.
Lecture 07 Digital logic By Amr Al-Awamry. 4 variables K-Map.
1 Digital Systems Design Lecture 7 Transformations Factoring - finding a factored form from SOP or POS expression Decomposition - expression of a function.
Overview Part 2 – Combinational Logic Functions and functional blocks
Lecture 3 – Binary Arithmetic
Overview Part 1 – Logic Circuits and Boolean Functions
Overview Part 1 – Gate Circuits and Boolean Equations
PROPAGATION DELAY.
SCO I: Algebra Logică 2 Combinational Logic Circuits
King Fahd University of Petroleum and Minerals
EE2174: Digital Logic and Lab
Boolean Algebra Boolean Algebra
Overview Part 3 – Additional Gates and Circuits 2-8 Other Gate Types
Circuit Simplification and
Lecture 4 – Binary Logic and Logic Gates
Presentation transcript:

EE2174: Digital Logic and Lab Professor Shiyan Hu Department of Electrical and Computer Engineering Michigan Technological University CHAPTER 4 Technology Mapping

2-Jul-15 PJF - 2Chapter 2-i: Combinational Logic Circuits ( )Overview More Logic Gates More Logic Gates NAND and NOR Gates NAND and NOR Gates NAND and NOR circuits NAND and NOR circuits Two-level Implementations Two-level Implementations Multilevel Implementations Multilevel Implementations Exclusive-OR (XOR) Gates Exclusive-OR (XOR) Gates Odd Function Odd Function Parity Generation and Checking Parity Generation and Checking

2-Jul-15 PJF - 3Chapter 2-i: Combinational Logic Circuits ( ) More Logic Gates We can construct any combinational circuit with AND, OR, and NOT gates We can construct any combinational circuit with AND, OR, and NOT gates Additional logic gates are used for practical reasons Additional logic gates are used for practical reasons

2-Jul-15 PJF - 4Chapter 2-i: Combinational Logic Circuits ( ) BUFFER, NAND and NOR

2-Jul-15 PJF - 5Chapter 2-i: Combinational Logic Circuits ( ) XOR and XNOR XY F = X  Y Y F : “not-equal” gate XOR: “not-equal” gateXY F = X  Y X Y F : “equal” gate XNOR: “equal” gate X

2-Jul-15 PJF - 6Chapter 2-i: Combinational Logic Circuits ( ) NAND Gate Known as a “universal” gate because ANY digital circuit can be implemented with NAND gates alone. Known as a “universal” gate because ANY digital circuit can be implemented with NAND gates alone. To prove the above, it suffices to show that AND, OR, and NOT can be implemented using NAND gates only. To prove the above, it suffices to show that AND, OR, and NOT can be implemented using NAND gates only.

2-Jul-15 PJF - 7Chapter 2-i: Combinational Logic Circuits ( ) NAND Gate Emulation X X X)’ F = (XX)’ = X’+X’ = X’+X’ = X’ = X’ X Y Y Y)’)’ F = ((XY)’)’ = (X’+Y’)’ = (X’+Y’)’ = X’’Y’’ = X’’Y’’ = XY = XY Y’)’ F = (X’Y’)’ = X’’+Y’’ = X’’+Y’’ = X+Y = X+Y X X X’ F = X’ X Y Y XY F XY = X+Y F = X+Y

2-Jul-15 PJF - 8Chapter 2-i: Combinational Logic Circuits ( ) NAND Circuits To easily derive a NAND implementation of a boolean function: To easily derive a NAND implementation of a boolean function: Find a simplified SOP Find a simplified SOP SOP is an AND-OR circuit SOP is an AND-OR circuit Change AND-OR circuit to a NAND circuit Change AND-OR circuit to a NAND circuit Use the alternative symbols below Use the alternative symbols below

2-Jul-15 PJF - 9Chapter 2-i: Combinational Logic Circuits ( ) AND-OR (SOP) Emulation Using NANDs a) Original SOP b) Implementation with NANDs Two-level implementations

2-Jul-15 PJF - 10Chapter 2-i: Combinational Logic Circuits ( ) AND-OR (SOP) Emulation Using NANDs (cont.) Verify: (a) G = WXY + YZ (b) G = ( (WXY)’ (YZ)’ )’ = (WXY)’’ + (YZ)’’ = WXY + YZ

2-Jul-15 PJF - 11Chapter 2-i: Combinational Logic Circuits ( ) SOP with NAND (again!) (a) Original SOP (b) Double inversion and grouping (c) Replacement with NANDs AND-NOT NOT-OR

2-Jul-15 PJF - 12Chapter 2-i: Combinational Logic Circuits ( ) Two-Level NAND Gate Implementation - Example F (X,Y,Z) =  m(0,6) 1. Express F in SOP form: F = X’Y’Z’ + XYZ’ 2. Obtain the AND-OR implementation for F. 3. Add bubbles and inverters to transform AND-OR to NAND-NAND gates.

2-Jul-15 PJF - 13Chapter 2-i: Combinational Logic Circuits ( ) Example (cont.) Two-level implementation with NANDs F = X’Y’Z’ + XYZ’

2-Jul-15 PJF - 14Chapter 2-i: Combinational Logic Circuits ( ) Multilevel NAND Circuits Starting from a multilevel circuit: 1. Convert all AND gates to NAND gates with AND-NOT graphic symbols. 2. Convert all OR gates to NAND gates with NOT-OR graphic symbols. 3. Check all the bubbles in the diagram. For every bubble that is not counteracted by another bubble along the same line, insert a NOT gate or complement the input literal from its original appearance.

2-Jul-15 PJF - 15Chapter 2-i: Combinational Logic Circuits ( ) Example Use NAND gates and NOT gates to implement Z=E’F(AB+C’+D’)+GH Use NAND gates and NOT gates to implement Z=E’F(AB+C’+D’)+GH AB AB AB+C’+D’ AB+C’+D’ E’F(AB+C’+D’) E’F(AB+C’+D’) E’F(AB+C’+D’)+GH E’F(AB+C’+D’)+GH

2-Jul-15 PJF - 16Chapter 2-i: Combinational Logic Circuits ( ) Yet Another Example!

2-Jul-15 PJF - 17Chapter 2-i: Combinational Logic Circuits ( ) NOR Gate Also a “universal” gate because ANY digital circuit can be implemented with NOR gates alone. Also a “universal” gate because ANY digital circuit can be implemented with NOR gates alone. This can be similarly proven as with the NAND gate This can be similarly proven as with the NAND gate

2-Jul-15 PJF - 18Chapter 2-i: Combinational Logic Circuits ( ) NOR Circuits To easily derive a NOR implementation of a boolean function: To easily derive a NOR implementation of a boolean function: Find a simplified POS Find a simplified POS POS is an OR-AND circuit POS is an OR-AND circuit Change OR-AND circuit to a NOR circuit Change OR-AND circuit to a NOR circuit Use the alternative symbols below Use the alternative symbols below

2-Jul-15 PJF - 19Chapter 2-i: Combinational Logic Circuits ( ) Two-Level NOR Gate Implementation - Example F(X,Y,Z) =  m(0,6) 1. Express F’ in SOP form: 1. F’ =  m(1,2,3,4,5,7) = X’Y’Z + X’YZ’ + X’YZ + XY’Z’ + XY’Z + XYZ 2. F’ = XY’ + X’Y + Z 2. Take the complement of F’ to get F in the POS form: F = (F’)' = (X'+Y)(X+Y')Z' 3. Obtain the OR-AND implementation for F. 4. Add bubbles and inverters to transform OR- AND implementation to NOR-NOR implementation.

2-Jul-15 PJF - 20Chapter 2-i: Combinational Logic Circuits ( ) Example (cont.) Two-level implementation with NORs F = (F’)' = (X'+Y)(X+Y')Z'

2-Jul-15 PJF - 21Chapter 2-i: Combinational Logic Circuits ( ) Multilevel NOR Circuits Starting from a multilevel circuit: 1. Convert all OR gates to NOR gates with OR-NOT graphic symbols. 2. Convert all OR gates to NOR gates with NOT-AND graphic symbols. 3. Check all the bubbles in the diagram. For every bubble that is not counteracted by another bubble along the same line, insert a NOT gate or complement the input literal from its original appearance.

2-Jul-15 PJF - 22Chapter 2-i: Combinational Logic Circuits ( ) Exclusive-OR (XOR) Function XOR (also  ) : the “not-equal” function XOR (also  ) : the “not-equal” function XOR(X,Y) = X  Y = X’Y + XY’ XOR(X,Y) = X  Y = X’Y + XY’ Identities: Identities: X  0 = X X  0 = X X  1 = X’ X  1 = X’ X  X = 0 X  X = 0 X  X’ = 1 X  X’ = 1 Properties: Properties: X  Y = Y  X X  Y = Y  X (X  Y)  W = X  ( Y  W) (X  Y)  W = X  ( Y  W)

2-Jul-15 PJF - 23Chapter 2-i: Combinational Logic Circuits ( ) XOR function implementation XOR(a,b) = ab’ + a’b XOR(a,b) = ab’ + a’b Straightforward: 5 gates Straightforward: 5 gates 2 inverters, two 2-input ANDs, one 2- input OR 2 inverters, two 2-input ANDs, one 2- input OR 2 inverters & 3 2-input NANDs 2 inverters & 3 2-input NANDs Nonstraightforward: Nonstraightforward: 4 NAND gates 4 NAND gates

2-Jul-15 PJF - 24Chapter 2-i: Combinational Logic Circuits ( ) XOR circuit with 4 NANDs

2-Jul-15 PJF - 25Chapter 2-i: Combinational Logic Circuits ( ) Exclusive-NOR (XNOR) Function XNOR : the “equality” function XNOR : the “equality” function XNOR(a,b) = ab + a’b’ XNOR(a,b) = ab + a’b’ Observe that XNOR(a,b) = ( XOR(a,b) )’ Observe that XNOR(a,b) = ( XOR(a,b) )’ ( a  b )’ = ( a’b + ab’)’ = (a’b)’ (ab’)’ = (a + b’) (a’ +b) = ab + a’b’ ( a  b )’ = ( a’b + ab’)’ = (a’b)’ (ab’)’ = (a + b’) (a’ +b) = ab + a’b’ a  b’ = ( a  b )’ = a’  b a  b’ = ( a  b )’ = a’  b

2-Jul-15 PJF - 26Chapter 2-i: Combinational Logic Circuits ( ) Odd Function x  y = x’y + xy’ x  y = x’y + xy’ x  y  z = xy’z’ + x’yz’ + x’y’z +xyz x  y  z = xy’z’ + x’yz’ + x’y’z +xyz x  y  z  w = x’yzw + xy’zw + xyz’w + xyzw’ + x’y’z’w + x’yz’w’ + x’y’zw’ +xy’z’w’ x  y  z  w = x’yzw + xy’zw + xyz’w + xyzw’ + x’y’z’w + x’yz’w’ + x’y’zw’ +xy’z’w’ … Observe a pattern here? … Observe a pattern here? An n-input XOR function is implied (=1) by all the minterms that have an odd # of 1s An n-input XOR function is implied (=1) by all the minterms that have an odd # of 1s Thus, XOR is also know as the odd function Thus, XOR is also know as the odd function

2-Jul-15 PJF - 27Chapter 2-i: Combinational Logic Circuits ( ) Odd Function (cont.) Minterms are ALWAYS distance two from each other

2-Jul-15 PJF - 28Chapter 2-i: Combinational Logic Circuits ( ) Odd Function (cont.)

2-Jul-15 PJF - 29Chapter 2-i: Combinational Logic Circuits ( ) Even Function How would you implement an even function? How would you implement an even function? The complement of XOR  XNOR

2-Jul-15 PJF - 30Chapter 2-i: Combinational Logic Circuits ( ) Parity Generation and Checking Odd and even functions can be used to implement parity checking circuits used for error detection and correction. Odd and even functions can be used to implement parity checking circuits used for error detection and correction. Use even parity as example. Use even parity as example. Parity generator: the circuit that generates the parity bit before transmitting. Parity generator: the circuit that generates the parity bit before transmitting. Parity checker: the circuit that checks the parity in the receiver. Parity checker: the circuit that checks the parity in the receiver.

2-Jul-15 PJF - 31Chapter 2-i: Combinational Logic Circuits ( ) Even Parity Generation P(X,Y,Z) must produce a 1 for all the input combinations that contain an odd number of 1s P(X,Y,Z) must produce a 1 for all the input combinations that contain an odd number of 1s Thus, it is a 3-input odd function P = X  Y  Z Thus, it is a 3-input odd function P = X  Y  Z

2-Jul-15 PJF - 32Chapter 2-i: Combinational Logic Circuits ( ) Even Parity Checking How would you implement a parity checker for the previous example? Use a 4-input XOR circuit (odd function) X  Y  Z  P C = X  Y  Z  P  1 indicates an error OR X  Y  Z  P)’ A 4-input XNOR circuit (even function) C = (X  Y  Z  P)’  1 indicates a pass

2-Jul-15 PJF - 33Chapter 2-i: Combinational Logic Circuits ( ) Transmission Gates The transmission gate is one of the designs for an electronic switch for connecting and disconnecting two points in a circuit: The transmission gate is one of the designs for an electronic switch for connecting and disconnecting two points in a circuit: (a) X Y TG C C (c) C=0 and C=1 X Y (b) X Y C=1 and C=0 (d) X Y C TG

2-Jul-15 PJF - 34Chapter 2-i: Combinational Logic Circuits ( ) Transmission Gates (continued) In many cases, X can be regarded as a data input and Y as an output. C and C, with complementary values applied, is a control input. In many cases, X can be regarded as a data input and Y as an output. C and C, with complementary values applied, is a control input. With these definitions, the transmission gate, provides a 3- state output: With these definitions, the transmission gate, provides a 3- state output: C = 1, Y = X (X = 0 or 1) C = 1, Y = X (X = 0 or 1) C = 0, Y = Hi-Z C = 0, Y = Hi-Z Care needs to be taken when using the TG in design, however, since X and Y as input and output are interchangeable, and signals can pass in both directions. Care needs to be taken when using the TG in design, however, since X and Y as input and output are interchangeable, and signals can pass in both directions.

2-Jul-15 PJF - 35Chapter 2-i: Combinational Logic Circuits ( ) Exclusive OR F = A C Exclusive OR F = A C The basis for the function implementation is TG controlled paths to the output The basis for the function implementation is TG controlled paths to the output Circuit Example Using TG (b) A C TG1 No path Path No path Path TG0 Path No path Path No path F (a) C A F TG0 TG1 +

2-Jul-15 PJF - 36Chapter 2-i: Combinational Logic Circuits ( ) More Complex Gates The remaining complex gates are SOP or POS structures with and without an output inverter. The remaining complex gates are SOP or POS structures with and without an output inverter. The names are derived using: The names are derived using: A - AND A - AND O - OR O - OR I - Inverter I - Inverter Numbers of inputs on first-level “gates” or directly to second-level “gates” Numbers of inputs on first-level “gates” or directly to second-level “gates”

2-Jul-15 PJF - 37Chapter 2-i: Combinational Logic Circuits ( ) More Complex Gates (continued) Example: AOI - AND-OR-Invert consists of a single gate with AND functions driving an OR function which is inverted (page 95 in the textbook). Example: AOI - AND-OR-Invert consists of a single gate with AND functions driving an OR function which is inverted (page 95 in the textbook). These gate types are used because: These gate types are used because: The number of transistors needed is fewer than required by connecting together primitive gates The number of transistors needed is fewer than required by connecting together primitive gates Potentially, the circuit delay is smaller, increasing the circuit operating speed Potentially, the circuit delay is smaller, increasing the circuit operating speed

2-Jul-15 PJF - 38Chapter 2-i: Combinational Logic Circuits ( ) Terms of Use © 2004 by Pearson Education,Inc. All rights reserved. © 2004 by Pearson Education,Inc. All rights reserved. The following terms of use apply in addition to the standard Pearson Education Legal Notice. The following terms of use apply in addition to the standard Pearson Education Legal Notice.Legal NoticeLegal Notice Permission is given to incorporate these materials into classroom presentations and handouts only to instructors adopting Logic and Computer Design Fundamentals as the course text. Permission is given to incorporate these materials into classroom presentations and handouts only to instructors adopting Logic and Computer Design Fundamentals as the course text. Permission is granted to the instructors adopting the book to post these materials on a protected website or protected ftp site in original or modified form. All other website or ftp postings, including those offering the materials for a fee, are prohibited. Permission is granted to the instructors adopting the book to post these materials on a protected website or protected ftp site in original or modified form. All other website or ftp postings, including those offering the materials for a fee, are prohibited. You may not remove or in any way alter this Terms of Use notice or any trademark, copyright, or other proprietary notice, including the copyright watermark on each slide. You may not remove or in any way alter this Terms of Use notice or any trademark, copyright, or other proprietary notice, including the copyright watermark on each slide. Return to Title Page Return to Title Page Return to Title Page Return to Title Page