600 likes | 726 Views
Revision Mid 1. Prof. Sin-Min Lee Department of Computer Science. CS147 Lecture 10. Determining the minimum SOP Expression from the Map.
E N D
Revision Mid 1 Prof. Sin-Min Lee Department of Computer Science CS147 Lecture 10
Determining the minimum SOP Expression from the Map • Groups the cells that have 1s. Each group of cells containing 1s create one product term composed of all variables that occur in only one form (either uncomplemented or complemented) within the group. Variable that occurs both uncomplemented and complemented within the group are eliminated. These are called contradictory variables.
Example: Determine the product term for the K-Map below and write the resulting minimum SOP expression 1
Example: Use a K-Map to minimize the following standard SOP expression
Example: Use a K-Map to minimize the following standard SOP expression
Don’t Care (X) Conditions • A situation arises in which input variable combinations are not allowed • Don’t care terms either a 1 or a 0 may be assigned to the output
Don’t Care (X) Conditions Example of the use of “don’t care” conditions to simplify an expression
Q J K Q J K C Qn+1 0 0 Qn Hold 0 1 0 Reset 1 0 1 Set 1 1 Qn Toggle X X X Qn Hold JK Flip-flop • The most versatile of the flip-flops • Has two data inputs (J and K) • Do not have an undefined state like SR flip-flops • When J & K both equal 1 the output toggles on the active clock edge • Most JK flip-flops based on the edge-triggered principle +ve edge triggered JK flip-flop • The C column indicates +ve edge triggering (usually omitted)
J K C Qn+1 0 0 Qn Hold 0 1 0 Reset 1 0 1 Set 1 1 Qn Toggle X X X Qn Hold Example JK circuit J Q A C E Ck F D B ~Q K • Assume Q = 0, ~Q = 1, K = 1 • Gate B is disabled (Q = 0, F = 1) • Make J = 1 to change circuit, when Ck = 1, all inputs to A = 1, E goes to 0, makes Q = 1 • Now Q and F are both 1 so ~Q = 0 and the circuit has toggled.
Timing diagram for JK Flip-flop Negative Edge Triggered clock J K Q toggle J=K=1 hold J=K=0 reset J= 0 K=1 set J= 1 K=0
Clock Pulse • The JK flip flop seems to solve all the problems associated with both inputs at 1. • However the clock rise/fall is of finite duration. • If the clock pulse takes long enough, the circuit can toggle. • For the JK flip flop it is assumed the pulse is quick enough for the circuit to change only once. ideal / actual edge pulse
JK from D Flip-flop J Q D K CLK C Q’
Implementing with a D AND a T flip-flop Using this FSM with three states, an operating only on inputs and transitions from one state to another, we will be using both D and T flip-flops.
Implementing with a D AND a T flip-flop Since we have no state “11”, our Q(t+1) is “don't care” = “XX” for both of these transitions. Consider the first column of the Q(t+1) values to be “D” and the second to be “T” and then we derive two corresponding charts. D T
Implementing with a D AND a T flip-flop Then we need to derive the corresponding equations.
Implementing with a D AND a T flip-flop We assume that Q(t) is actually a pair of QDQT.Now, with these equations, we can graph the results.
3A.1 Introduction • In 1953, Maurice Karnaugh was a telecommunications engineer at Bell Labs. • While exploring the new field of digital logic and its application to the design of telephone circuits, he invented a graphical way of visualizing and then simplifying Boolean expressions. • This graphical representation, now known as a Karnaugh map, or Kmap, is named in his honor.
3A.2 Description of Kmaps and Terminology • A Kmap is a matrix consisting of rows and columns that represent the output values of a Boolean function. • The output values placed in each cell are derived from the mintermsof a Boolean function. • A minterm is a product term that contains all of the function’s variables exactly once, either complemented or not complemented.
3A.2 Description of Kmaps and Terminology • For example, the minterms for a function having the inputs x and y are: • Consider the Boolean function, • Its minterms are:
3A.2 Description of Kmaps and Terminology • Similarly, a function having three inputs, has the minterms that are shown in this diagram.
3A.2 Description of Kmaps and Terminology • A Kmap has a cell for each minterm. • This means that it has a cell for each line for the truth table of a function. • The truth table for the function F(x,y) = xy is shown at the right along with its corresponding Kmap.
3A.3 Kmap Simplification for Two Variables • The best way of selecting two groups of 1s form our simple Kmap is shown below. • We see that both groups are powers of two and that the groups overlap. • The next slide gives guidance for selecting Kmap groups.
3A.3 Kmap Simplification for Two Variables The rules of Kmap simplification are: • Groupings can contain only 1s; no 0s. • Groups can be formed only at right angles; diagonal groups are not allowed. • The number of 1s in a group must be a power of 2 – even if it contains a single 1. • The groups must be made as large as possible. • Groups can overlap and wrap around the sides of the Kmap.
3A.4 Kmap Simplification for Three Variables • A Kmap for three variables is constructed as shown in the diagram below. • We have placed each minterm in the cell that will hold its value. • Notice that the values for the yz combination at the top of the matrix form a pattern that is not a normal binary sequence.
3A.4 Kmap Simplification for Three Variables • Thus, the first row of the Kmap contains all minterms where x has a value of zero. • The first column contains all minterms where y and z both have a value of zero.
3A.4 Kmap Simplification for Three Variables • Consider the function: • Its Kmap is given below. • What is the largest group of 1s that is a power of 2?
3A.4 Kmap Simplification for Three Variables • This grouping tells us that changes in the variables x and y have no influence upon the value of the function: They are irrelevant. • This means that the function, reduces to F(x) = z. You could verify this reduction with identities or a truth table.
3A.4 Kmap Simplification for Three Variables • Now for a more complicated Kmap. Consider the function: • Its Kmap is shown below. There are (only) two groupings of 1s. • Can you find them?
3A.4 Kmap Simplification for Three Variables • In this Kmap, we see an example of a group that wraps around the sides of a Kmap. • This group tells us that the values of x and y are not relevant to the term of the function that is encompassed by the group. • What does this tell us about this term of the function? What about the green group in the top row?
3A.4 Kmap Simplification for Three Variables • The green group in the top row tells us that only the value of x is significant in that group. • We see that it is complemented in that row, so the other term of the reduced function is . • Our reduced function is: Recall that we had six minterms in our original function!
3A.5 Kmap Simplification for Four Variables • Our model can be extended to accommodate the 16 minterms that are produced by a four-input function. • This is the format for a 16-minterm Kmap.
3A.5 Kmap Simplification for Four Variables • We have populated the Kmap shown below with the nonzero minterms from the function: • Can you identify (only) three groups in this Kmap? Recall that groups can overlap.