Title: LECTURE THIRTEEN PART 1 DIGITAL ELECTRONICS
1LECTURE THIRTEEN PART 1 DIGITAL ELECTRONICS
Dr Richard ReillyDept. of Electronic
Electrical EngineeringRoom 153, Engineering
Building
2Analysis of Combinational Logic
- Examples of combinational circuits
- decoders, encoders, multiplexers, adders,
subtractors, multipliers, comparators, etc. - Need to consider the implementation of
combinational systems with combinational logic
circuits. - Combinational logic deals with the method of
combining basic gates into circuits that carry
out a desired application.
3Combinational Circuits
- DEFINITION
- Logic circuits without feedback from output to
input, constructed from a functionality complete
gate set are said to be combinational . - Logic circuits that contain no memory (ability to
store information) are combinational. - Those that contain memory, including flip-flops
are said to be sequential
4Mathematical definition
- Let X be the set of all input variables
- and Y set of all output variables.
- ? The combinational function F operates on input
variables set X to produce output variable set Y - Output variables are not fed back to the input.
5General Logic Design Sequence
- Problem Statement
- Truth-Table Construction
- Switching Equations Written
- Equations Simplified
- Logic Diagram Drawn
- Decide on Logic Family for Implementation
- Logic Circuit Built
6Derivation of Switching Equation
- Logic can be described in several ways
- Truth Table
- Logic Diagram
- Boolean Equation
7Combinational Logic
- Each input variable group that produces a logical
1 in a truth table output column can form a term
in an Boolean Expression. - Each term is formed by ANDing input variables
- Each AND term is then ORed with other AND terms
to complete output Boolean Equation - NOTE
- Each AND term (also called a product term)
identified one input condition where the output
is a logical 1.
8Definitions
- Literal
- A Boolean variable or its complement.
- e.g. ? and are both literals
- Product Term
- A product term is a literal or the logical
product (AND) of multiple literals. - e.g. Let be binary variables
- ? a product term could be
9- Sum Term
- A sum term is a literal or the logical OR of
multiple literals. - e.g. Let be binary variables ? a sum
term could be - Sum of Products
- SOP is the logical OR of multiple product terms.
Each product term is the AND of binary literals. - e.g. is a SOP expression
- Products of Sums
- POS is the logical AND of multiple OR terms. Each
sum term is the OR of binary literals. - e.g.
is a POS expression
10Minterms and Maxterms
- Minterm
- A minterm is a special case product (AND) term.
- A minterm is a product term that contains all the
input variables (each literal no more than once)
that make up a Boolean expression. -
- Maxterm
- A maxterm is a special case (OR) term.
- A maxterm is a sum term that contains all the
input variables (each literal no more than once)
that make up a Boolean expression.
11Canonical Sum of Products
- A canonical SOP is a complete set of minterms
that defines when an output variable is a logical
1. - Each minterm corresponds to the row in the truth
table when the output function is 1.
12Canonical Product of Sums
- A canonical POS is a complete set of maxterms
that defines when an output variable is a logical
0. - Each maxterm corresponds to the row in the truth
table when the output function is 0.
13Canonical Forms
- Canonical defined as conforming to a general
rule. - The rule for switching logic in that each term
used in a switching equation must contain all of
the variables. - Two formats generally exist for expressing
switching equations in a canonical form. - Sum of minterms
- Product of maxterms
14Canonical Forms
- Canonical forms are not simplified
- Normally the opposite of simplification,
containing redundancies. - Use Boolean Theorems to simplify the expressions
- to eliminate redundancy
- lower cost of the final logic circuit
- Design may require converting to logic realised
in one form to another form - TTL NAND gates to ECL NOR gate
- Thus can be better to convert to canonical form
before simplification carried out
15Example of Canonical Conversion
- SOP
-
- Identify the missing variables in each AND term
- for ?
-
-
- for ?
-
-
- for ?
-
16Example of Canonical Conversion
- ? Canonical SOP form
-
-
- Two terms the same ? , thus final expression
is -
17Example of Canonical Conversion
- POS
-
- Identify the missing variables in each term
- for ?
-
-
- for ?
-
18Generation of Switching Equations from Truth-Table
- What happens when we have a large number of
minterms or maxterms ? - Switching equations can be written more
conveniently by using minterm or maxterm
numerical designation. - where decimal equivalent value for the term can
be written directly.
19Generation of Switching Equations
- If decoded each of the minterms based on binary
weighting of each variable and produce a list of
decimal minterms, the result would be
20Generation of Switching Equations
- A canonical POS is representation by
21Simplification of Boolean Expressions
- Can simplify expressions like
-
-
- by applying rules of Boolean Algebra, POS or SOP
expression
22Simplification of Boolean Expressions
- Simplification of switching equation reduces
the amount of hardware needed to realise the
function - ? fewer gates
- ? fewer I.C.s
- ? less cost
23Recap of Karnaugh Map Methods
- A Karnaugh Map is a matrix of squares
- each square represents a minterm or maxterm from
a Boolean expression -
- A Karnaugh Map allows us to find input variable
redundancies - ? help reduce output equation
24Recap of Karnaugh Map Methods
- Each map lists the product terms that can be
formed from n variables, each in a different
square. -
- a product term in n variables is called a minterm
- ? for 3 variables
- ? minterms i.e.
- ? for 4 variables ? minterms.
25Recap of Karnaugh Map Methods
- A map of n variables will have squares,
each representing a minterm. - The minterm in each square or element of the map
is the product of the variables listed at row and
column of the element - ? is at the intersection of and
26Recap of Karnaugh Map Methods
- The map is filled by placing 1s in the squares
for terms that lead to a 1 output. - ?
- Z1 for (A,B) (0,1) ? put 1 in box
- Z1 for (A,B) (1,0) ? put 1 in box
- put 0 everywhere else.
27Recap of Karnaugh Map Methods
- The Karnaugh Map is very convenient
- provides some feel for the function due to its
graphical presentation -
- However its usefulness is chiefly due to the
arrangement of the cells or squares. - Each cell differs from the adjacent cell by
having exactly one variable complemented in the
minterm. - The expression must be written in canonical form
? each term in the expression must contain each
variable.
28Recap of Karnaugh Map Methods
- E.g.
-
- 3 variables
-
- The top row BC is numbered such that only 1-bit
changes at a time, as you move from box to box - known as a Grey Code (code where only one bit
changes at a time) - i.e. not numbered as in the usual sequence, but
done to show the relationship between variables.
29Recap of Karnaugh Map Methods
- the main reason
- any two squares that are adjacent differ in only
one variable - If two adjacent squares both have an entry of one
- ? the corresponding product terms differ in only
one variable - ? the two terms can be merged by eliminating that
variable.
30Recap of Karnaugh Map Methods
- Consider a grouping of two of the circled terms
which are adjacent we can see that - ?
- Can represent these 2 terms by , this is
immediately apparent from the map as for the
circled ones - is constant 1
- is constant 0
- changes and ? will not be in the final
expression.
31Recap of Karnaugh Map Methods
- Then can form final simplified expression from
the minimum number of circles required to
encompass all the ones. -
-
- minimum expression
- we could also include the third circle and thus
- but this is not a minimum expression.
- Two loops cover all the ones.
32Recap of Karnaugh Map Methods
33Recap of Karnaugh Map Methods
34Recap of Karnaugh Map Methods
- for which an implementation would be
- One feature should be noted at this point
- The concept of adjacency can be extended to
include wrapping around the edges of the map. - ? The maps are considered so that top and bottom
edges - and left and right edges are touching.
-
35Recap of Karnaugh Map Methods
- or we could loop the zeros.
36Recap of Karnaugh Map Methods
- for which an implementation would be
37Recap of Karnaugh Map Methods
-
- This is equivalent to
- which is equivalent to our first implementation
38NAND and NOR Implementations
- NAND implementation important, due to Silicon
Area reasons. -
- NAND can be made to yield AND and OR gates
- an AND gate can be formed from 2 NAND gates
- and
- ?2-input OR can be formed from 3 NAND gates
39NAND and NOR Implementations
- Thus a set of NANDs can thus be used to make
any combinational network by substituting the
above for AND and OR blocks
40NAND and NOR Implementations
41NAND and NOR Implementations
- Prime implicants and essential prime implicants
(EPI) -
42NAND and NOR Implementations
- Minimum expression
-
- eqn (1) SOP
- use AND and OR
43NAND and NOR Implementations
44NAND and NOR Implementations
- Sometimes it is easier to group the zeros terms
together
45NAND and NOR Implementations
46NAND and NOR Implementations
- Can further arrange
- eqn (3) POS
- use OR and AND
47NAND and NOR Implementations
- We can also rearrange Z as follows
- eqn (4) Use NOR
48NAND and NOR Implementations
- likewise for sum of products form of Z
- eqn (5) Use NAND
49Implementation of Minimum Functions
- Observing the function Z, from the last example
again -
- To implement Z would require
- 4 inverters
- 11 quad-input AND gates
- 1 eleven-input OR gate
-
- Thus in general always need to minimise the
function
50Implementation of Minimum Functions
- Can implement the minimum Z in Sum of Products
form - i.e. Eqn. 1 .
-
- Can implement the minimum Z in negation of Sum of
Products form - i.e. Eqn. 2
-
- Can implement the minimum Z in Product of Sums
form - i.e. Eqn. 3
51Implementation of Minimum Functions
- By applying deMorgans Laws we can rearrange Z and
then implement it - i.e. Eqn. 4 i.e. inverters NOR gates
-
- or Egn. 5 i.e. only NAND gates
- Can convert between Product-of-Sums to NOR gate
implementation, with the use of 2 inverters. - between the output of the OR gates and input
of the AND gate - obviously has no effect on the output
- now each OR NOT ? makes it a NOR
- and
- the NOTs at the input of the AND ?makes it a
NOR
52Conversion of POS to NOR Gates
53Dont Cares
- When an output value is term is known for every
possible combination of input variables. - ? function said to be completely specified.
-
- However, when output not known for every
combination of input variables (usually because
all combinations cannot occur) - ? function said to be incompletely specified
-
- The minterms or maxterms that are not used as
part of the output function are called dont care
terms.