CMSC 313 Lecture 19 Combinational Logic Components Programmable Logic Arrays Karnaugh Maps

Similar documents
CMSC 313 Lecture 19 Homework 4 Questions Combinational Logic Components Programmable Logic Arrays Introduction to Circuit Simplification

Principles of Computer Architecture. Appendix B: Reduction of Digital Logic. Chapter Contents

CMSC 313 Lecture 18 Midterm Exam returned Assign Homework 3 Circuits for Addition Digital Logic Components Programmable Logic Arrays

CMSC 313 Preview Slides

CMSC 313 Lecture 15 Good-bye Assembly Language Programming Overview of second half on Digital Logic DigSim Demo

Appendix A: Digital Logic. Principles of Computer Architecture. Principles of Computer Architecture by M. Murdocca and V. Heuring

CMSC 313 Lecture 16 Announcement: no office hours today. Good-bye Assembly Language Programming Overview of second half on Digital Logic DigSim Demo

211: Computer Architecture Summer 2016

CMSC 313 Lecture 16 Postulates & Theorems of Boolean Algebra Semiconductors CMOS Logic Gates

UNIT 5 KARNAUGH MAPS Spring 2011

for Digital Systems Simplification of logic functions Tajana Simunic Rosing Sources: TSR, Katz, Boriello & Vahid

CMSC 313 Lecture 17. Focus Groups. Announcement: in-class lab Thu 10/30 Homework 3 Questions Circuits for Addition Midterm Exam returned

Lecture 6: Gate Level Minimization Syed M. Mahmud, Ph.D ECE Department Wayne State University

CMSC 313 Lecture 18 Midterm Exam returned Assign Homework 3 Circuits for Addition Digital Logic Components Programmable Logic Arrays

Working with Combinational Logic. Design example: 2x2-bit multiplier

Karnaugh Maps (K-Maps)

Systems I: Computer Organization and Architecture

Logic. Basic Logic Functions. Switches in series (AND) Truth Tables. Switches in Parallel (OR) Alternative view for OR

Possible logic functions of two variables

Combinational Logic (mostly review!)

Ch 2. Combinational Logic. II - Combinational Logic Contemporary Logic Design 1

COSC3330 Computer Architecture Lecture 2. Combinational Logic

Minimization techniques

Lecture 5. Karnaugh-Map

CSE140: Components and Design Techniques for Digital Systems. Logic minimization algorithm summary. Instructor: Mohsen Imani UC San Diego

Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps

Show that the dual of the exclusive-or is equal to its compliment. 7

Chapter 2 Combinational Logic Circuits

The Karnaugh Map COE 202. Digital Logic Design. Dr. Muhamed Mudawar King Fahd University of Petroleum and Minerals

Boolean cubes EECS150. Mapping truth tables onto cubes. Simplification. The Uniting Theorem. Three variable example

COMP2611: Computer Organization. Introduction to Digital Logic

WEEK 3.1 MORE ON KARNAUGH MAPS

Digital Logic & Computer Design CS Professor Dan Moldovan Spring 2010

Simplification of Boolean Functions. Dept. of CSE, IEM, Kolkata

Unit 2 Session - 6 Combinational Logic Circuits

ELC224C. Karnaugh Maps

Philadelphia University Student Name: Student Number:

9.1. Unit 9. Implementing Combinational Functions with Karnaugh Maps or Memories

Digital Circuit And Logic Design I. Lecture 4

DIGITAL TECHNICS I. Dr. Bálint Pődör. Óbuda University, Microelectronics and Technology Institute 5. LECTURE: LOGIC SYNTHESIS

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits

Logic Design Combinational Circuits. Digital Computer Design

ECE 2300 Digital Logic & Computer Organization

Logic. Combinational. inputs. outputs. the result. system can

Basic Gate Repertoire

Logic and Computer Design Fundamentals. Chapter 2 Combinational Logic Circuits. Part 2 Circuit Optimization

II. COMBINATIONAL LOGIC DESIGN. - algebra defined on a set of 2 elements, {0, 1}, with binary operators multiply (AND), add (OR), and invert (NOT):

Review. EECS Components and Design Techniques for Digital Systems. Lec 06 Minimizing Boolean Logic 9/ Review: Canonical Forms

Chapter 4 Optimized Implementation of Logic Functions

14:332:231 DIGITAL LOGIC DESIGN. Combinational Circuit Synthesis

Digital Logic & Computer Design CS Professor Dan Moldovan Spring Copyright 2007 Elsevier 2-<101>

Karnaugh Maps ف ر آ ا د : ا ا ب ا م آ ه ا ن ر ا

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

Review for Test 1 : Ch1 5

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev. Section 2: Boolean Algebra & Logic Gates

Combinational logic. Possible logic functions of two variables. Minimal set of functions. Cost of different logic functions.

Reg. No. Question Paper Code : B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Second Semester. Computer Science and Engineering

Appendix A: Digital Logic. Principles of Computer Architecture. Principles of Computer Architecture by M. Murdocca and V. Heuring

Why digital? Overview. Number Systems. Binary to Decimal conversion

3. Combinational Circuit Design

Spiral 1 / Unit 5. Karnaugh Maps

Outcomes. Spiral 1 / Unit 5. Logic Function Synthesis KARNAUGH MAPS. Karnaugh Maps

COMBINATIONAL LOGIC FUNCTIONS

Outcomes. Spiral 1 / Unit 5. Logic Function Synthesis KARNAUGH MAPS. Karnaugh Maps

Digital Logic Appendix A

Contents. Chapter 3 Combinational Circuits Page 1 of 36

Lecture 7: Karnaugh Map, Don t Cares

Combinational Logic. Mantıksal Tasarım BBM231. section instructor: Ufuk Çelikcan

ELCT201: DIGITAL LOGIC DESIGN

Chapter 4: Designing Combinational Systems Uchechukwu Ofoegbu

CprE 281: Digital Logic

14:332:231 DIGITAL LOGIC DESIGN

Digital Logic Design ENEE x. Lecture 14

Propositional Logic. Logical Expressions. Logic Minimization. CNF and DNF. Algebraic Laws for Logical Expressions CSC 173

Gate-Level Minimization

ECE/Comp Sci 352 Digital System Fundamentals Quiz # 1 Solutions

L2: Combinational Logic Design (Construction and Boolean Algebra)

UNIT III Design of Combinational Logic Circuits. Department of Computer Science SRM UNIVERSITY

We are here. Assembly Language. Processors Arithmetic Logic Units. Finite State Machines. Circuits Gates. Transistors

DHANALAKSHMI COLLEGE OF ENGINEERING, CHENNAI DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS6201 DIGITAL PRINCIPLES AND SYSTEM DESIGN

Optimizations and Tradeoffs. Combinational Logic Optimization

Boolean Algebra. Digital Logic Appendix A. Postulates, Identities in Boolean Algebra How can I manipulate expressions?

This form sometimes used in logic circuit, example:

DIGITAL ELECTRONICS & it0203 Semester 3

Prove that if not fat and not triangle necessarily means not green then green must be fat or triangle (or both).

Week-I. Combinational Logic & Circuits

Digital Logic. CS211 Computer Architecture. l Topics. l Transistors (Design & Types) l Logic Gates. l Combinational Circuits.

Part 1: Digital Logic and Gates. Analog vs. Digital waveforms. The digital advantage. In real life...

CprE 281: Digital Logic

Lecture 2 Review on Digital Logic (Part 1)

Learning Objectives. Boolean Algebra. In this chapter you will learn about:

Boolean Algebra. Digital Logic Appendix A. Boolean Algebra Other operations. Boolean Algebra. Postulates, Identities in Boolean Algebra

KUMARAGURU COLLEGE OF TECHNOLOGY COIMBATORE

Unit 3 Session - 9 Data-Processing Circuits

ELCT201: DIGITAL LOGIC DESIGN

L2: Combinational Logic Design (Construction and Boolean Algebra)

CS/EE 181a 2010/11 Lecture 4

CHAPTER1: Digital Logic Circuits Combination Circuits

MODULAR CIRCUITS CHAPTER 7

Simplifying Logic Circuits with Karnaugh Maps

Transcription:

CMSC 33 Lecture 9 Combinational Logic Components Programmable Logic rrays Karnaugh Maps UMC, CMSC33, Richard Chang <chang@umbc.edu>

Last Time & efore Returned midterm exam Half adders & full adders Ripple carry adders vs carry lookahead adders Propagation delay Multiplexers UMC, CMSC33, Richard Chang <chang@umbc.edu>

Data Inputs -27 ppendix : Digital Logic Multiplexer D D D 2 D 3 F F D D D 2 D 3 Control Inputs F = D + D + D 2 + D 3 Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-3 ppendix : Digital Logic Demultiplexer D F = D F = D F F F 2 F 3 F 2 = D F 3 = D D F F F 2 F 3 Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-32 ppendix : Digital Logic Gate-Level Implementation of DEMUX F D F F 2 F 3 Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-33 ppendix : Digital Logic Decoder Enable = Enable = D D Enable D 2 D 3 D D D 2 D 3 D D D 2 D 3 D = D = D 2 = D3 = Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-34 ppendix : Digital Logic Gate-Level Implementation of Decoder D D D 2 D 3 Enable Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-35 ppendix : Digital Logic Decoder Implementation of Majority Function Note that the enable input is not always present. We use it when discussing decoders for memory. C M Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-36 Priority Encoder ppendix : Digital Logic n encoder translates a set of inputs into a binary encoding. Can be thought of as the converse of a decoder. priority encoder imposes an order on the inputs. i has a higher priority than i+ 2 3 F F 2 3 F F F = 3 + 2 F = 2 3 + Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-37 ppendix : Digital Logic ND-OR Implementation of Priority Encoder F 2 3 F Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-38 C ppendix : Digital Logic Programmable Logic rray OR matrix PL is a customizable ND matrix followed by a customizable OR matrix. lack box view of PL: C PL F F Fuses ND matrix Principles of Computer rchitecture by M. Murdocca and V. Heuring F F 999 M. Murdocca and V. Heuring

-39 C ppendix : Digital Logic Simplified Representation of PL Implementation of Majority Function C C C C Principles of Computer rchitecture by M. Murdocca and V. Heuring F (Majority) F (Unused) 999 M. Murdocca and V. Heuring

-4 ppendix : Digital Logic Full dder i i C i S i C i+ i i C i+ Full adder S i C i Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-43 C in ppendix : Digital Logic PL Realization of Full dder Sum C out Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-3 ppendix : Reduction of Digital Logic Reduction (Simplification) of oolean Expressions It is usually possible to simplify the canonical SOP (or POS) forms. smaller oolean 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. Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-7 ppendix : Reduction of Digital Logic 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. C C C C C C C C C Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-8 ppendix : Reduction of Digital Logic K-Map for Majority Function Place a in each cell that corresponds to that minterm. Cells on the outer edge of the map wrap around Minterm Index 2 3 4 5 6 7 C F C -side -side balance tips to the left or right depending on whether there are more s or s. Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-9 ppendix : Reduction of Digital Logic djacency Groupings for Majority Function C F = C + C + Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

- ppendix : Reduction of Digital Logic Minimized ND-OR Majority Circuit C F F = C + C + The K-map approach yields the same minimal two-level form as the algebraic approach. Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

- ppendix : Reduction of Digital Logic 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. CD CD 2 4 5 2 3 3 4 F = C + C D + C + C D F = D + C + C D + C + C D Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

Example Requiring More Rules CD 4 2 8 5 3 9 3 7 5 D 2 6 4 C UMC, CMSC33, Richard Chang <chang@umbc.edu>

-2 ppendix : Reduction of Digital Logic K-Map Corners are Logically djacent CD F = C D + D + Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

-3 ppendix : Reduction of Digital Logic K-Maps and Don t Cares There can be more than one minimal grouping, as a result of don t cares. CD d CD d d d F = C D + D F = D + D Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

Two bits:,,, Gray Code Three bits:,,,,,,, Successive bit patterns only differ at position For Karnaugh maps, adjacent s represent minterms that can be simplified using the rule: C + C = ( + )C = C = C C UMC, CMSC33, Richard Chang <chang@umbc.edu>

Karnaugh Maps Implicant: rectangle with, 2, 4, 8, 6... s Prime Implicant: an implicant that cannot be extended into a larger implicant Essential Prime Implicant: the only prime implicant that covers some K-map lgorithm (not from M&H):. Find LL the prime implicants. e sure to check every and to use don t cares. 2. Include all essential prime implicants. 3. Try all possibilities to find the minimum cover for the remaining s. UMC, CMSC33, Richard Chang <chang@umbc.edu>

K-map Example CD 4 2 8 d CD 4 2 8 d 5 3 9 d 3 7 5 d D 5 3 9 d 3 7 5 d D 2 6 4 2 6 4 C C + C D + D UMC, CMSC33, Richard Chang <chang@umbc.edu>

Notes on K-maps lso works for POS Takes 2 n time for formulas with n variables Only optimizes two-level logic Reduces number of terms, then number of literals in each term ssumes inverters are free Does not consider minimizations across functions Circuit minimization is generally a hard problem Quine-McCluskey can be used with more variables CD tools are available if you are serious UMC, CMSC33, Richard Chang <chang@umbc.edu>

Circuit Minimization is Hard Unix systems store passwords in encrypted form. User types in x, system computes f(x) and looks for f(x) in a file. Suppose we us 64-bit passwords and I want to find the password x, such that f(x) = y. Let gi(x) = if f(x) = y and the ith bit of x is otherwise. If the ith bit of x is, then gi(x) outputs for every x and has a very, very simple circuit. If you can simplify every circuit quickly, then you can crack passwords quickly. UMC, CMSC33, Richard Chang <chang@umbc.edu>

-6 ppendix : Reduction of Digital Logic 3-Level Majority Circuit K-Map Reduction results in a reduced two-level circuit (that is, ND followed by OR. Inverters are not included in the two-level count). lgebraic reduction can result in multi-level circuits with even fewer logic gates and fewer inputs to the logic gates. C M Principles of Computer rchitecture by M. Murdocca and V. Heuring 999 M. Murdocca and V. Heuring

CD 4 2 8 CD 4 2 8 CD 4 2 8 5 3 9 5 3 9 5 3 9 3 7 5 D 3 7 5 D 3 7 5 D 2 6 4 2 6 4 2 6 4 C C C CD 4 2 8 CD 4 2 8 CD 4 2 8 5 3 9 5 3 9 5 3 9 3 7 5 D 3 7 5 D 3 7 5 D 2 6 4 2 6 4 2 6 4 C C C