L4: Karnaugh diagrams, two-, and multi-level minimization. Elena Dubrova KTH / ICT / ES

Transcription

1 L4: Karnaugh diagrams, two-, and multi-level minimization Elena Dubrova KTH / ICT / ES dubrova@kth.se

2 Combinatorial system a(t) not(a(t)) A combinatorial system has no memory - its output depends therefore ONLY on the PRESENT value of the input signal Lecture 4 - Lecture 7 IE204 Digital Design, Autumn 204 2

3 Sequential system a(t) f(a(t)) A sequential system has a built-in memory - its output depends therefore BOTH on the PRESENT and PREVIOUS value(s) of the input signal Lecture 8 - Lecture 3 IE204 Digital Design, Autumn 204 3

4 BV pp This lecture covers IE204 Digital Design, HT 20 4

5 Minimization of Boolean expressions Example: Minterms of the function are m(,2,3) or f = x x 0 + x x 0 + x x 0 Using Boolean algebra, we can shorten the expression to: f = x x 0 + x x 0 + x x 0 = x x 0 + x (x 0 + x 0 ) = x x 0 + x () = x x 0 + x ( + x 0 ) = = x x 0 + x + x x 0 = x 0 (x + x ) + x = x 0 () + x = x + x 0 IE204 Digital Design, Autumn 204 4

6 Minterms A minterm MUST contain all variables, otherwise it is not a minterm A minterm represents the combination of values of function's valiables for which the function evaluates to f = Sm(0,2,3) = x x 3 +x x 3 +x x 3 IE204 Digital Design, Autumn 204 5

7 Maxterms A maxterm MUST contain all variables, otherwise it is not a maxterm A minterm represents the combination of values of function's valiables for which the function evaluates to 0 f = PM (0,2,3) = (x + +x 3 ) (x + +x 3 ) (x + +x 3 ) IE204 Digital Design, Autumn 204 6

8 Commonly used functions in twodimensional table-form x 0 x 0 x 0 x x 0 x x 0 x 0 0 AND OR XOR 0 x 0 x NAND NOR XNOR 0 x 0 x x NOT IE204 Digital Design, Autumn 204 7

9 3-dimensional Boolean space Size: abc dimensional subspace -dimensional subspace b c a dimensional subspace IE204 Digital Design, Autumn 204 8

10 Karnaugh map Differ in the value of only one variable b = b c b = bc a a IE204 Digital Design, Autumn 204 9

11 Minimizing f(a,b,c) = Σm (0,2,3,5,7) b c 00 0 a 0 bc a IE204 Digital Design, Autumn 204 0

12 Implicants Circle the minterms located "next to each other b c a 00 0 a bc f (a,b,c) = Σm (0,2,3,5,7) IE204 Digital Design, Autumn 204

13 Literals and Product-Terms A given product-term in a sum-of-products form consists of several variables Each of the variables may appear complemented or non-complemented These variables are called literals f(a,b,c) = abc + ab + bc IE204 Digital Design, Autumn 204 2

14 Minterms and product-terms A minterm always contains all variables of a function A product-term may contain less variables Examples of minterms for three variable functions: abc, abc Examples of product-terms for three variable functions: abc, ab, a IE204 Digital Design, Autumn 204 3

15 Implicants and Covers Implicant - A product-term for which the function evaluates to Prime implicant - An implicant which is not contained in any other implicant A prime implicants cannot be expanded into a larger implicant Cover is a set of implicants which contains all minterms for which the function evaluates to IE204 Digital Design, Autumn 204 4

16 More implicant treminology A prime implicant is essential if there is a minterm covered by that implicant, but no other prime implicant Essential imlicants will always be included in a cover of a function If we can remove an implicant, but all minterms are still covered, then such an implicant is called redundant IE204 Digital Design, Autumn 204 5

17 Example Redundant implicants - both are not necessary to cover the function b c 00 0 a 0 bc a f (a, b, c) = Σm (0,2,3,5,7) IE204 Digital Design, Autumn 204 6

18 Covers Minimum cover is a cover with the minimum number of cubes Prime cover is a cover consisting of only prime implicants Irredundant cover is a cover which does not contain any redundant implicants IE204 Digital Design, Autumn 204 7

19 Example Example: f (a, b, c, d) = abc + bd + cd is minimum, prime and irredundant cover for f ab cd IE204 Digital Design, Autumn 204 8

20 Exact minimization Quine's Theorem: For any Boolean function, there exists a minimum cover which is prime Consequence: The search for a minimum cover can be restricted to covers with prime implicants only All minimum covers All prime covers IE204 Digital Design, Autumn 204 9

21 Two-level minimization IE204 Digital Design, Autumn

22 Minimum sum-of-product implementation b 0 ac f = bc + ac + bc a b c f IE204 Digital Design, Autumn 204 2

23 Programmable Logic Array (PLA) Both AND and OR arrays are programmable x x 3 P OR plane P 2 P 3 P 4 AND plane f f 2 IE204 Digital Design, Autumn

24 Programmable Array Logic (PAL) Only the AND arrays are programmable x x 3 Which functions P, P 2, P 3 and P 4 represent? P P 2 P 3 f P 4 f 2 AND plane IE204 Digital Design, Autumn

25 Karnaugh map with 4 variables x x 0 x We always circle an entire sub-space (as large as possible)!!! IE204 Digital Design, Autumn

26 Karnaugh map with 5 variables x 4 x x 0 x x 3 x x 0 0 IE204 Digital Design, Autumn

27 Example x x 0 x 4 x x 3 x x 0 IE204 Digital Design, Autumn

28 Karnaugh map with 6 variables x 4 x x 0 x 5 x x 3 x x 0 IE204 Digital Design, Autumn

29 Example x x 0 x 5 x 4 x x 3 x x 0 IE204 Digital Design, Autumn

30 Alternative: Circle 0s x x x x x x x 3 x x 0 = x 3 + +x +x 0 Circle the zeros is zeros is less than ones!!! IE204 Digital Design, Autumn

31 Incomplete functions with Often you can simplify a specification of the logic function knowing that some input combinations never occur For these combinations, we use the value "don t care" There are different symbols for "don't care" d', 'D', '-', 'ϕ', x' don t cares IE204 Digital Design, Autumn

32 Specification of incomplete functions x x 0 x x 0 x x x d d d d d d d d ( x + x 0 ) x x ( + x ) (A) SOP implementation (B) POS implementations Two implementations of the function f (x 3,..., x 0 ) = Sm(2, 4, 5, 6, 0) + D(2, 3, 4, 5). IE204 Digital Design, Autumn 204 3

33 Alternative notation x x 0 x x 0 x x x ( x + x 0 ) x x ( + x ) (A) SOP implementation (B) POS implementations Two implementations of the function f (x 3,..., x 0 ) = Sm(2, 4, 5, 6, 0) + D(2, 3, 4, 5). IE204 Digital Design, Autumn

34 Functions with multiple outputs x x x 0 f 0 f x x 0 x f = f 0 +x 3 x 0 Different outputs can share implicants! IE204 Digital Design, Autumn

35 Multi-level minimization IE204 Digital Design, Autumn

36 Do we need multi-level logic? One can realize all the combinational circuits with two-level (AND-OR, OR-AND) The assumption is that all inputs are also availible in the inverted form (as in PAL, PLA) IE204 Digital Design, Autumn

37 Why multi-level logic? A multi-level implementation may have considerably less gates than a two-level implementation IE204 Digital Design, Autumn

38 Two strategies for multi-level logic. Factorisation 2. Functional Decomposition IE204 Digital Design, Autumn

39 Factorisation Suppose the following function is to be implemented f x x 3 x 4 x 5 x 6 x x 3 x 4 x 5 x 6 IE204 Digital Design, Autumn

40 Factorisation If we use the distributive law (L2, s.2, 2a), we can get the following multi-level implementation: f x x 3 x 4 x 5 x 6 x x 3 x 4 x 5 x 6 x x 4 x 6 ( x 3 x 5 x 3 x 5 ) IE204 Digital Design, Autumn

41 Factorization x x 3 x 4 x 6 x 5 x 3 x 5 f x x 4 x 6 ( x 3 x 5 x 3 x 5 ) IE204 Digital Design, Autumn 204 4

42 Functional decomposition One can often reduces the complexity of a logic function by reusing its sub-functions several times For implementation it means to share subcircuits in its construction IE204 Digital Design, Autumn

43 Functional Decomposition How can the following function implemented? f x x 3 x x 3 x x 4 x x 4 IE204 Digital Design, Autumn

44 Functional Decomposition Factorisation gives us f x x 3 x x 3 x x 4 x x 4 (x x )x 3 (x x )x 4 If we define a sub-function g as g x x x x 2 2 IE204 Digital Design, Autumn

45 So, we get Functional Decomposition where f gx 3 g x 4 g x x x x IE204 Digital Design, Autumn

46 Functional Decomposition Implementation x x 3 g f x 4 f gx 3 g x 4 x g g x x x x x 3 x 4 h f IE204 Digital Design, Autumn

47 Algorithms for minimization Karnaugh map minimization gives a good insight into how to minimize logic functions But to minimize the complex functions with the help of computer, there are better algorithms Chapter 4.9 and 4.0 in Brown/Vranesic provides an introduction to the minimization algorithms (for the interested student) IE204 Digital Design, Autumn

48 Summary Karnaugh maps are a good tool for minimizing logic functions with a few variables There are algorithms for both two-level and multi-level minimization Next lecture: BV pp IE204 Digital Design, Autumn