Gate Level Minimization Flashcards
Gate-level minimization
Gate-level minimization is the design task of finding an optimal gate-level implementation of the Boolean functions describing a digital circuit.
A Boolean function is recognized graphically in the map by?
Since any Boolean function can be expressed as a
sum of minterms, it follows that a Boolean function is recognized graphically in the map
from the area enclosed by those squares whose minterms are included in the function.
what will u call a simplest algebraic expression? As what properties it should have..
simplest algebraic expression is an algebraic expression with a minimum number of terms and with the smallest possible number of literals in each term
The simplified expressions produced by the map are always in what form?
The simplified expressions produced by the map are always in one of the two standard
forms: sum of products or product of sums.
2 variable K-Map
Karnaugh map
-2 variable, so 4 minterms: m0,m1,m2,m3; so four squares in the map.
-The minterms at which the function is asserted are
marked with a 1.
-Mark the squares whose minterms belong to a given function, to represent any one of the 16 Boolean functions of 2 variables.
[ Assign column var y: column 1:y’=0 & column 2:y=1
lly row1: x’=0 ; row2: x = 1]
3 Variable K Map
- 3 variables so 8 minterms so 8 squares.
- minterms are arranged in gray code, i.e only 1 bit changes in value from one adjacent
column to the next. - Square belonging to row p, column qr [binary no. k = pqr] has value of minterm mk.
-Each cell of the map corresponds to a unique minterm, so another way of looking at
square m5 = xy’z is to consider it to be in the row marked x and the column belonging
to y’z (column 01).
primed: 0 &; unprimed:1.
-Note that there are 4 squares in which each variable is equal to 1 and in another 4 they are 0.
-For convenience, we write the variable with its letter
symbol under the four squares in which it is unprimed.
the basic property possessed by adjacent squares?
3 variable K map
Any two adjacent squares
in the map differ by only one variable.
Sum of 2 minterms in
adjacent squares can be simplified to a single product term consisting of only 2 literals.
Ex : m5 + m7 = xy’z + xyz = xz(y’ + y) = xz
- Thus, any two minterms in adjacent squares (vertically or horizontally, but not diagonally, adjacent) that are ORed together will cause a removal
of the dissimilar variable.
the basic property possessed by adjacent squares being possessed by not adjacent squares:
3 variable K map.
In certain cases, two squares in the map are considered to be adjacent even though
they do not touch each other. m0 is adjacent to m2 and m4 to m6 cuz their minterms differ by 1 variable. This difference can be readily verified
algebraically:
m0 + m2 = x’y’z’ + x’yz’ = x’z’(y’ + y) = x’z’
m4 + m6 = xy’z’ + xyz’ = xz’(y ‘+ y) = xz’
Simplification of combination of four adjacent squares in 3 variable K map:
Any such combination represents the logical sum of four minterms and results in an
expression with only one literal.
[the literal whose value is unchanged]
Rules for simplification in 3 variable K map:
-two minterms in adjacent squares (vertically or horizontally, but not diagonally, adjacent) that are ORed together will cause a removal
of the dissimilar variable.
-Overlapping is allowed as it reduces literals.
-The number of adjacent squares that may be combined must always represent a
number that is a power of two, such as 1, 2, 4, and 8.
[ As more adjacent squares are combined, we obtain a product term with fewer literals.]
-1 square represents 1 minterm, giving a term with 3 literals.
-2 adjacent squares represent a term with 2 literals.
-4 adjacent squares represent a term with 1 literal.
-Eight adjacent squares encompass the entire map and produce a function that is always equal to 1.
4 variable kmap:
- 16 squares, The rows and columns are numbered in a Gray code sequence, with only one digit
changing value between two adjacent rows or columns - to get the minterm of a square, concatenate the row number then column number.
- For adjacent properties: the right n left edges of map touch and so do the topmost and bottom.
- For Simplification:
1 square - 4 literals
2 adjacent sq = 3 literals
4 sq = 2 literals
8 sq = 1 literal
16 sq: function = 1
Adjacent Squares
Adjacent squares are defined to be squares
next to each other.
Prime Implicant
A prime
implicant is a product term obtained by combining the maximum possible number of
adjacent squares in the map.
Essential Prime Implicant:
If a minterm in a square is covered by only one prime
implicant, that prime implicant is said to be essential.
How to obtain prime Implicants of all the squares?
The prime implicants of a function can be obtained from the map by combining all
possible maximum numbers of squares.
The process of finding the simplified expression from map:
The procedure for finding the simplified expression from the map requires that we
first determine all the essential prime implicants. The simplified expression is obtained
from the logical sum of all the essential prime implicants, plus other prime implicants
that may be needed to cover any remaining minterms not covered by the essential prime
implicants. Occasionally, there may be more than one way of combining squares, and
each combination may produce an equally simplified expression.
The general form by which any Boolean function
is implemented when expressed in one of the standard forms:
AND gates are connected
to a single OR gate when in sum-of-products form;
OR gates are connected to a single
AND gate when in product-of-sums form
Simplify
given canonical form, sum of minterms:
and then express it in product of sums.
- on map mark one for corresponding minterms.
- Obtain a simplified expression( sum of products).
- Find F’ ( complement). [ Minterms with zero on map].
- complement that using De Morgans Law, and u have product of sums.
Heuristic Summary:
Remember maxterms complement of minterms?
So maxterms have 0’s unprimed and 1’s primed.
Now using that, from the map, combine maxterms with zero and u have it.
how to handle a function expressed in Product of sum form?
Find its complement. F’. Due to De Morgans law it will be in form sum of products. Form its map and now combine minterms who show zero to get F in simplified and sum of products form.