EEM16 Lecture 3 UCLA

download EEM16 Lecture 3 UCLA

of 29

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