Download - Chapter Contents
![Page 1: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/1.jpg)
B-1 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Principles of Computer ArchitectureMiles Murdocca and Vincent Heuring
Appendix B: Reduction of Digital Logic
![Page 2: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/2.jpg)
B-2 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Chapter Contents
B.1 Reduction of Combinational Logic and Sequential Logic
B.2 Reduction of Two-Level Expressions
B.3 State Reduction
![Page 3: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/3.jpg)
B-3 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Reduction (Simplification) of Boolean Expressions
• It is usually possible to simplify the canonical SOP (or POS) forms.
• A smaller Boolean equation generally translates to a lower gate count in the target circuit.
• We cover three methods: algebraic reduction, Karnaugh map reduction, and tabular (Quine-McCluskey) reduction.
![Page 4: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/4.jpg)
B-4 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Reduced Majority Function Circuit• Compared with the AND-OR circuit for the unreduced majority function,
the inverter for C has been eliminated, one AND gate has been eliminated, and one AND gate has only two inputs instead of three inputs. Can the function by reduced further? How do we go about it?
![Page 5: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/5.jpg)
B-5 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
The Algebraic Method
• Consider the majority function, F. We apply the algebraic method to reduce F to its minimal two-level form:
![Page 6: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/6.jpg)
B-6 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
The Algebraic Method• This majority circuit is functionally equivalent to the previous
majority circuit, but this one is in its minimal two-level form:
![Page 7: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/7.jpg)
B-7 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Karnaugh Maps: Venn Diagram Representation of Majority Function
• Each distinct region in the “Universe” represents a minterm.
• This diagram can be transformed into a Karnaugh Map.
![Page 8: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/8.jpg)
B-8 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
K-Map for Majority Function
• Place a “1” in each cell that corresponds to that minterm.
• Cells on the outer edge of the map “wrap around”
![Page 9: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/9.jpg)
B-9 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Adjacency Groupings for Majority Function
• F = BC + AC + AB
![Page 10: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/10.jpg)
B-10 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Minimized AND-OR Majority Circuit
• F = BC + AC + AB
• The K-map approach yields the same minimal two-level form as the algebraic approach.
![Page 11: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/11.jpg)
B-11 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
K-Map Groupings
• Minimal grouping is on the left, non-minimal (but logically equivalent) grouping is on the right.
• To obtain minimal grouping, create smallest groups first.
![Page 12: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/12.jpg)
B-12 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
K-Map Corners are Logically Adjacent
![Page 13: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/13.jpg)
B-13 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
K-Maps and Don’t Cares• There can be more than one minimal grouping, as a result of don’t
cares.
![Page 14: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/14.jpg)
B-14 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Five-Variable K-Map• Visualize two 4-variable K-maps stacked one on top of the other;
groupings are made in three dimensional cubes.
![Page 15: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/15.jpg)
B-15 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Six-Variable K-Map• Visualize four 4-variable K-maps stacked one on top of the other;
groupings are made in three dimensional cubes.
![Page 16: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/16.jpg)
B-16 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
3-Level Majority Circuit
• K-Kap Reduction results in a reduced two-level circuit (that is, AND followed by OR. Inverters are not included in the two-level count). Algebraic reduction can result in multi-level circuits with even fewer logic gates and fewer inputs to the logic gates.
![Page 17: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/17.jpg)
B-17 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Map-Entered Variables
• An example of a K-map with a map-entered variable D.
![Page 18: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/18.jpg)
B-18 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Two Map-Entered Variables
• A K-map with two map-entered variables D and E.
•_____
ECBABEDCABCF
![Page 19: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/19.jpg)
B-19 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Truth Table with Don’t Cares
• A truth table representation of a single function with don’t cares.
![Page 20: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/20.jpg)
B-20 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Tabular (Quine-McCluskey) Reduction
• Tabular reduction begins by grouping minterms for which F is nonzero according to the number of 1’s in each minterm. Don’t cares are considered to be nonzero.
• The next step forms a consensus (the logical form of a cross product) between each pair of adjacent groups for all terms that differ in only one variable.
![Page 21: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/21.jpg)
B-21 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Table of Choice• The prime implicants form a set that completely covers the
function, although not necessarily minimally.
• A table of choice is used to obtain a minimal cover set.
![Page 22: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/22.jpg)
B-22 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Reduced Table of Choice• In a reduced table of choice, the essential prime implicants and
the minterms they cover are removed, producing the eligible set.
• DABDCBABCAF___
![Page 23: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/23.jpg)
B-23 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Multiple Output Truth Table• The power of tabular reduction comes into play for multiple
functions, in which minterms can be shared among the functions.
![Page 24: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/24.jpg)
B-24 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Multiple Output Table of ChoiceF0(A,B,C) = ABC + BC
F1(A,B,C) = AC + AC + BC
F2(A,B,C) = B
![Page 25: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/25.jpg)
B-25 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Speed and Performance
• The speed of a digital system is governed by:
• the propagation delay through the logic gates and
• the propagation delay across interconnections.
• We will look at characterizing the delay for a logic gate, and a method of reducing circuit depth using function decomposition.
![Page 26: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/26.jpg)
B-26 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Propagation Delay for a NOT Gate
• (From Hamacher et. al. 1990)
![Page 27: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/27.jpg)
B-27 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
MUX Decomposition
![Page 28: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/28.jpg)
B-28 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
OR-Gate Decomposition
• Fanin affects circuit depth.
![Page 29: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/29.jpg)
B-29 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
State Reduction
• Description of state machine M0 to be reduced.
![Page 30: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/30.jpg)
B-30 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Distinguishing Tree• A next state tree for M0.
![Page 31: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/31.jpg)
B-31 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Reduced State Table• A reduced state table for machine M1.
![Page 32: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/32.jpg)
B-32 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
The State Assignment Problem• Two state assignments for machine M2.
![Page 33: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/33.jpg)
B-33 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
State Assignment SA0• Boolean equations for machine M2 using state assignment SA0.
![Page 34: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/34.jpg)
B-34 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
State Assignment SA1• Boolean equations for machine M2 using state assignment SA1.
![Page 35: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/35.jpg)
B-35 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Sequence Detector State Transition Diagram
![Page 36: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/36.jpg)
B-36 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Sequence Detector State Table
![Page 37: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/37.jpg)
B-37 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Sequence Detector Reduced State Table
![Page 38: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/38.jpg)
B-38 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Sequence Detector State Assignment
![Page 39: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/39.jpg)
B-39 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Excitation Tables
• In addition to the D flip-flop, the S-R, J-K, and T flip-flops are used as delay elements in finite state machines.
• A Master-Slave J-K flip-flop is shown below.
![Page 40: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/40.jpg)
B-40 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Sequence Detector K-Maps
• K-map reduction of next state and output functions for sequence detector.
![Page 41: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/41.jpg)
B-41 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Clocked T Flip-Flop
• Logic diagram and symbol for a T flip-flop.
![Page 42: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/42.jpg)
B-42 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Sequence Detector Circuit
![Page 43: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/43.jpg)
B-43 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Excitation Tables• Each table shows the settings that must be applied at the inputs
at time t in order to change the outputs at time t+1.
![Page 44: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/44.jpg)
B-44 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Serial Adder
![Page 45: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/45.jpg)
B-45 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Serial Adder Next-State Functions• Truth table showing next-state functions for a serial adder for D, S-
R, T, and J-K flip-flops. Shaded functions are used in the example.
![Page 46: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/46.jpg)
B-46 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
J-K Flip-Flop Serial Adder Circuit
![Page 47: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/47.jpg)
B-47 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
D Flip-Flop Serial Adder Circuit
![Page 48: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/48.jpg)
B-48 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Majority Finite State Machine
![Page 49: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/49.jpg)
B-49 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Majority FSM State Table• (a) State table for majority FSM; (b) partitioning; (c) reduced
state table.
![Page 50: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/50.jpg)
B-50 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Majority FSM State Assignment• (a) State assignment for reduced majority FSM using D flip-
flops; and (b) using T flip-flops.
![Page 51: Chapter Contents](https://reader035.vdocuments.us/reader035/viewer/2022062805/56814c7a550346895db99703/html5/thumbnails/51.jpg)
B-51 Appendix B - Reduction of Digital Logic
Department of Information Technology, Radford University ITEC 352 Computer Organization
Majority FSM Circuit