Based on slides by: Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. ECE/CS 352: Digital System Fundamentals Lecture 9 – Multilevel Optimization.

Slides:



Advertisements
Similar presentations
Overview Part 1 – Gate Circuits and Boolean Equations
Advertisements

Based on slides by: Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. ECE/CS 352: Digital System Fundamentals Lecture 8 – Systematic Simplification.
ECE 301 – Digital Electronics Circuit Design and Analysis (Lecture #9A) The slides included herein were taken from the materials accompanying Fundamentals.
ECE 301 – Digital Electronics Minterm and Maxterm Expansions and Incompletely Specified Functions (Lecture #6) The slides included herein were taken from.
ECE 331 – Digital System Design
ELEN 468 Lecture 121 ELEN 468 Advanced Logic Design Lecture 12 Synthesis of Combinational Logic I.
CS 151 Digital Systems Design Lecture 6 More Boolean Algebra A B.
Circuit Optimization Goal: To obtain the simplest implementation for a given function Optimization is a more formal approach to simplification that is.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 2 – Combinational.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 3 – Combinational Logic Design Part 1 –
ENGIN112 L12: Circuit Analysis Procedure September 29, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 12 Circuit Analysis Procedure.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 3 – Combinational Logic Design Part 1 –
Overview Part 2 – Circuit Optimization 2-4 Two-Level Optimization
Digital Logic Design Adil Waheed. BOOLEAN ALGEBRA AND LOGIC SIMPLIFICATION AND gate F = A.B OR gate F = A + B NOT gate F = A NAND gate F = A.B NOR gate.
Chapter 2: Boolean Algebra and Logic Functions
KU College of Engineering Elec 204: Digital Systems Design
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Lecture 12 – Design Procedure.
Boolean Algebra and Digital Circuits
B-1 Appendix B - Reduction of Digital Logic Principles of Computer Architecture by M. Murdocca and V. Heuring © 1999 M. Murdocca and V. Heuring Principles.
ECE 331 – Digital System Design
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Chapter 2 – Combinational.
Department of Computer Engineering
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 2 – Combinational Logic Circuits Part 2.
Optimization Algorithm
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. Circuit Optimization Logic and Computer Design Fundamentals.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 3 – Combinational Logic Design Part 1 –
ECE 331 – Digital System Design Circuit Design and Analysis (Lecture #9A) The slides included herein were taken from the materials accompanying Fundamentals.
ACOE1611 Combinational Logic Circuits Reference: M. Mano, C. Kime, “Logic and Computer Design Fundamentals”, Chapter 2.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 2 – Combinational Logic Circuits Part 2.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 2 – Combinational Logic Circuits Part 2.
Figure 4–1 Application of commutative law of addition. Thomas L. Floyd Digital Fundamentals, 9e Copyright ©2006 by Pearson Education, Inc. Upper Saddle.
Based on slides by:Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. ECE/CS 352: Digital System Fundamentals Lecture 6 – Canonical Forms.
Abdullah Said Alkalbani University of Buraimi
ECE/CS 352 Digital System Fundamentals© T. Kaminski & C. Kime 1 ECE/CS 352 Digital Systems Fundamentals Spring 2001 Chapter 2 Part 7 Tom Kaminski & Charles.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Logic and Computer Design.
1 BOOLEAN ALGEBRA Basic mathematics for the study of logic design is Boolean Algebra Basic laws of Boolean Algebra will be implemented as switching devices.
Designing Combinational Logic Circuits
CHAPTER 1 INTRODUCTION TO DIGITAL LOGIC
1 Example: Groupings on 3-Variable K-Maps BC F(A,B,C) = A ’ B ’ A BC F(A,B,C) = B ’ A
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Logic Design Dr. Oliver Faust.
CEC 220 Digital Circuit Design SOP and POS forms Friday, January 23 CEC 220 Digital Circuit Design Slide 1 of 17.
Figure 5–5 Exclusive-OR logic diagram and symbols. Open file F05-05 to verify the operation. Thomas L. Floyd Digital Fundamentals, 9e Copyright ©2006 by.
Boolean Algebra ELEC 311 Digital Logic and Circuits Dr. Ron Hayne Images Courtesy of Cengage Learning.
CHAPTER 1 INTRODUCTION TO DIGITAL LOGIC. De Morgan’s Theorem De Morgan’s Theorem.
DE MORGAN’S THEOREM. De Morgan’s Theorem De Morgan’s Theorem.
Based on slides by:Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. ECE/CS 352: Digital System Fundamentals Lecture 7 – Karnaugh Maps.
CEC 220 Digital Circuit Design Minterms and Maxterms Monday, January 26 CEC 220 Digital Circuit Design Slide 1 of 11.
1 CS 352 Introduction to Logic Design Lecture 4 Ahmed Ezzat Multi-level Gate Circuits and Combinational Circuit Design Ch-7 + Ch-8.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 2 – Combinational Logic Circuits Part 2.
Universal Gate – NOR Universal Gate - NOR Digital Electronics
Universal Gate – NAND Universal Gate - NAND Digital Electronics
Logic Gates and Boolean Algebra
De Morgan’s Theorem,.
Digital Fundamentals Floyd Chapter 5 Tenth Edition
Universal Gate – NAND Universal Gate - NAND Digital Electronics
CHAPTER 1 : INTRODUCTION
Boolean Expressions Lecture No. 10.
Digital Fundamentals Floyd Chapter 5 Tenth Edition
Universal Gate – NAND Universal Gate - NAND Digital Electronics
Universal Gate – NOR Universal Gate - NOR Digital Electronics
BASIC & COMBINATIONAL LOGIC CIRCUIT
Universal Gate – NAND Universal Gate - NAND Digital Electronics
Optimization Algorithm
Digital Fundamentals Floyd Chapter 5 Tenth Edition
Universal Gate – NOR Universal Gate - NOR Digital Electronics
Digital Fundamentals Floyd Chapter 5 Tenth Edition
Digital Fundamentals Floyd Chapter 5 Tenth Edition
Digital Fundamentals Floyd Chapter 5 Tenth Edition
Principles & Applications
Presentation transcript:

Based on slides by: Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. ECE/CS 352: Digital System Fundamentals Lecture 9 – Multilevel Optimization

Chapter 2 2 Outline  Multi-level Optimization  Transformations Factoring Decomposition Substitution Elimination Extraction

Chapter 2 3 Multiple-Level Optimization  Multiple-level circuits are circuits that have more than two level (plus input and/or output inverters)  For a given function, multiple-level circuits can have reduced gate input cost compared to two- level (SOP and POS) circuits  Multiple-level optimization is performed by applying transformations to circuits represented by equations while evaluating cost

Chapter 2 4 Transformations  Factoring - finding a factored form from SOP or POS expression Algebraic - No use of axioms specific to Boolean algebra such as complements or idempotence Boolean - Uses axioms unique to Boolean algebra  Decomposition - expression of a function as a set of new functions

Chapter 2 5 Transformations (continued)  Substitution of G into F - expression function F as a function of G and some or all of its original variables  Elimination - Inverse of substitution  Extraction - decomposition applied to multiple functions simultaneously

Chapter 2 6 Transformation Examples  Algebraic Factoring F = + B + ABC + AC G = 16 Factoring: F = ( + B ) + A (BC + C ) G = 16 Factoring again: F = ( B + ) + AC (B + ) G = 12 Factoring again: F = ( + AC) (B + ) G = 10 D C A A C D C C A D D A C D D A C D

Chapter 2 7 Transformation Examples  Decomposition F = A’C’D’ + A’BC’ + ABC + ACD’G = 16 The terms A’C’ + AC and B + D’ can be defined as new functions H and E respectively, decomposing F = (A’C’ + AC)(B + D’): F = H E, H = A’C’ + AC, E = B + D’G = 10  This series of transformations has reduced G from 16 to 10, a substantial savings.  The resulting circuit has three levels plus input inverters.

Chapter 2 8 Transformation Examples  Substitution of E into F Returning to F just before the final factoring step: F = ( B + ) + AC (B + ) G = 12 Defining E = B +, and substituting in F: F = E + ACE G = 10 This substitution has resulted in the same cost as the decomposition A C D D A C D

Chapter 2 9 Transformation Examples  Elimination Beginning with a new set of functions: X = B + C Y = A + B Z = X + C Y G = 10 Eliminating X and Y from Z: Z = (B + C) + C (A + B) G = 10 “Flattening” (Converting to SOP expression): Z = B + C + AC + BC G = 12 This has increased the cost, but has provided an new SOP expression for two-level optimization. A A A A

Chapter 2 10 Transformation Examples  The result of 2-level optimization is: Z = B + C G = 4  This example illustrates that: Optimization can begin with any set of equations, not just with minterms or a truth table Increasing gate input count G temporarily during a series of transformations can result in a final solution with a smaller G A

Chapter 2 11 Transformation Examples  Extraction Beginning with two functions: E = + BD H = C + BCD G = 16 Finding a common factor and defining it as a function: F = + BD We perform extraction by expressing E and H as the three functions: F = + BD, E = F, H = CF G = 10 The reduced cost G results from the sharing of logic between the two output functions B A A B D D B D A B D

Chapter 2 12 Summary  Multi-level Optimization  Transformations Factoring - find a factored form from SOP or POS expression Decomposition - express a function as a set of new functions Substitution - express function F as a function of G and some or all of its original variables Elimination - inverse of substitution Extraction - decompose multiple functions simultaneously