ELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-378: Computer Hardware Design Winter Notes - Unit 1

Similar documents
ELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-2700: Digital Logic Design Fall Notes - Unit 1

Boolean algebra.

Solutions - Homework 1 (Due date: September 9:30 am) Presentation and clarity are very important!

Digital Control of Electric Drives

Boolean Algebra. Boolean Algebra

Fachgebiet Rechnersysteme1. 1. Boolean Algebra. 1. Boolean Algebra. Verification Technology. Content. 1.1 Boolean algebra basics (recap)

CS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation

Combinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.

Introduction to Electrical & Electronic Engineering ENGG1203

Engr354: Digital Logic Circuits

Control with binary code. William Sandqvist

Overview of Today s Lecture:

expression simply by forming an OR of the ANDs of all input variables for which the output is

Unit 4. Combinational Circuits

Note 12. Introduction to Digital Control Systems

Boolean Algebra. Boolean Algebras

IST 4 Information and Logic

CS 330 Formal Methods and Models

Fast Boolean Algebra

Basics of Digital Logic

Fault Modeling. EE5375 ADD II Prof. MacDonald

EECS 141 Due 04/19/02, 5pm, in 558 Cory

Chapter 1. Chapter 1 1

Chapter 1: Boolean Logic

1 2 : 4 5. Why Digital Systems? Lesson 1: Introduction to Digital Logic Design. Numbering systems. Sample Problems 1 5 min. Lesson 1-b: Logic Gates

ENGR 3861 Digital Logic Boolean Algebra. Fall 2007

Chapter 3 Single Random Variables and Probability Distributions (Part 2)

Lecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences.

Elements of Computing Systems, Nisan & Schocken, MIT Press. Boolean Logic

Review of Gaussian Quadrature method

Coalgebra, Lecture 15: Equations for Deterministic Automata

CHAPTER 3 LOGIC GATES & BOOLEAN ALGEBRA

IST 4 Information and Logic

Good Review book ( ) ( ) ( )

CMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014

Let's start with an example:

Reasoning and programming. Lecture 5: Invariants and Logic. Boolean expressions. Reasoning. Examples

Lecture 11 Binary Decision Diagrams (BDDs)

ECE223. R eouven Elbaz Office room: DC3576

SIMPLIFICATION OF BOOLEAN ALGEBRA. Presented By: Ms. Poonam Anand

CS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS

Convert the NFA into DFA

Logic Synthesis and Verification

CHAPTER 1 PROGRAM OF MATRICES

Genetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary

CS 330 Formal Methods and Models Dana Richards, George Mason University, Spring 2016 Quiz Solutions

EE 108A Lecture 2 (c) W. J. Dally and P. Levis 2

p-adic Egyptian Fractions

KNOWLEDGE-BASED AGENTS INFERENCE

CHAPTER 6b. NUMERICAL INTERPOLATION

Chapter 2. Random Variables and Probability Distributions

AUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton

Lecture 08: Feb. 08, 2019

Asynchronous Sequen<al Circuits

Exercise 3 Logic Control

IST 4 Information and Logic

Worked out examples Finite Automata

INF1383 -Bancos de Dados

Lecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences

Revision Sheet. (a) Give a regular expression for each of the following languages:

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005

CISC 4090 Theory of Computation

CHAPTER 9 MULTIPLEXERS, DECODERS, AND PROGRAMMABLE LOGIC DEVICES

CS 301. Lecture 04 Regular Expressions. Stephen Checkoway. January 29, 2018

First Midterm Examination

Chapter 6 Techniques of Integration

4.1. Probability Density Functions

Assignment 1 Automata, Languages, and Computability. 1 Finite State Automata and Regular Languages

DATABASE DESIGN I - 1DL300

Industrial Electrical Engineering and Automation

1 Nondeterministic Finite Automata

Introduction to Group Theory

Nondeterminism and Nodeterministic Automata

Scanner. Specifying patterns. Specifying patterns. Operations on languages. A scanner must recognize the units of syntax Some parts are easy:

BİL 354 Veritabanı Sistemleri. Relational Algebra (İlişkisel Cebir)

Talen en Automaten Test 1, Mon 7 th Dec, h45 17h30

EE 560 INTRODUCTION. Kenneth R. Laker, University of Pennsylvania

Propositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches.

Things to Memorize: A Partial List. January 27, 2017

Chapter 3. Vector Spaces

Network Analysis and Synthesis. Chapter 5 Two port networks

Ehrenfeucht-Fraïssé Games: Applications and Complexity. Department of Mathematics and Computer Science University of Udine, Italy ESSLLI 2010 CPH

Unit 8 Problem Solutions

Homework 3 Solutions

Lecture 3: Curves in Calculus. Table of contents

Some Theory of Computation Exercises Week 1

Finite-State Automata: Recap

3 Regular expressions

ELE B7 Power System Engineering. Unbalanced Fault Analysis

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

Section The Precise Definition Of A Limit

Lecture 2 : Propositions DRAFT

Bridging the gap: GCSE AS Level

CS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata

Designing finite automata II

A negative answer to a question of Wilke on varieties of!-languages

Parse trees, ambiguity, and Chomsky normal form

DEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.

CS375: Logic and Theory of Computing

Connected-components. Summary of lecture 9. Algorithms and Data Structures Disjoint sets. Example: connected components in graphs

Transcription:

ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl systems. It dels with the cse where vriles ssume only one o two vlues: TRUE (usully represented y the symol '1'), nd LSE (usully represented y the symol '0'). This is lso clled Two-vlued oolen lger or Switching lger. circuit consisting o switches cn e represented in terms o oolen lgeric equtions. The equtions cn e then mnipulted into the orm representing the simplest circuit. The circuit my then e immeditely drwn rom the equtions. This powerul method irst ppered in: symolic nlysis o Rely nd Switching ircuits, lude E. Shnnon, Trnsctions o the IEE, vol. 57, no. 1, Dec. 198, pp. 71-71. SI OPERTIONS nd re oolen vriles. oolen vriles re used to represent the inputs or outputs o digitl circuit. OPERTION OOLEN EPRESSION OPERTION NOT ( or ) Logicl negtion ND. Logicl conjunction o two sttements OR + Logicl disjunction o two sttements TRUTH TLES ND LOGI GTES Truth Tle: tulr listing o unction vlues or ll possile comintions o vlues on its input rguments. I there re n inputs, there re n possile comintions. = ' 0 1 1 0 =. 0 1 0 1 0 0 = ' =. = + 0 1 1 1 0 1 = + Logic Gtes: Hrdwre components tht produce logic 1 or logic 0 depending on the stte o inputs. They re used to implement oolen unctions. Logic Gtes (ND, OR) cn hve multiple inputs: Z =..Z... Z = ++Z+......... IOMS 0.0 = 0 1.1 = 1 0.1 = 1.0 = 0 0 = 1 1+1=1 0+0 = 0 1+0 = 0+1 = 1 1 = 0 1 Instructor: Dniel Llmocc

ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 THEOREMS Vrile dominnt rule ommuttive rule omplement rule Idempotency Identity Element Doule negtion ssocitive rule Distriutive rule. 1 = + 0 =. =. + = +. = 0 + = 1. = + =. 0 = 0 + 1 = 1 =. (. Z) = (. ). Z + ( + Z) = ( + ) + Z. ( + Z) =. +. Z +. Z = ( + ). ( + Z) Other Theorems sorption djcency onsensus DeMorgn Simpliiction. ( + ) =. +. = +. =. (1 + ) = +. =. (1 + ) =. +. = ( + )( + ) =. + Z + Z = + Z ( + )( + Z)( + Z) = ( + )( + Z) orollry: ( + )( + Z) = + Z. = +,.. Z = + + Z + + =., + + Z+... =.. Z. ( + ) =. + = + useul ppliction o the theorems is on the simpliiction o oolen unctions which leds to the reduction o the mount o logic gtes: Exmple: Exmple: Exmple: = ( + + D + E)( + + D ) + E = ( + )( + ), = +, = D + E = ( + )( + ) = = + = ( )Z + + Z = Z + Z = Z( + ) = Z = + Z = ( + )( + ) = + + + = + ( + ) = + = Instructor: Dniel Llmocc

ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 Exmple: = x 1 x + x 1 x + x 1 x = x 1 x + (x 1 + x ) = x 1 x + x 1 = x 1 + x 1 x = (x 1 + x 1 )(x 1 + x ) = x 1 + x DERIVING OOLEN UNTIONS ROM TRUTH TLES: Using 1s: 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 = + + Using 0s: 0 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 = ( + + )( + + ) -input OR nd NOR gtes OR (Exclusive OR): 0 1 1 1 0 1 1 1 0 = + = NOR: 0 0 1 0 1 0 1 0 0 = + = Instructor: Dniel Llmocc

ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 SUM O PRODUTS (SOP) ND PRODUT O SUMS (POS) USING MINTERMS ND MTERMS: MINTERMS nd MTERMS ( vrile unction) x 1 x x Minterms Mxterms 0 m 0 = x 1 x x M 0 = x 1 + x + x 1 0 0 1 m 1 = x 1 x M 1 = x 1 + x + x 0 1 0 m = x 1 x x M = x 1 + x + x 0 1 1 m = x 1 x x M = x 1 + x + x 4 1 0 0 m 4 = x 1 x x M 4 = x 1 + x + x 5 1 0 1 m 5 = x 1 x M 5 = x 1 + x + x 6 1 1 0 m 6 = x 1 x x M 6 = x 1 + x + x 7 m 7 = x 1 x x M 7 = x 1 + x + x or unction with n vriles, there re n minterms (or n mxterms) rom m 0 to m n 1 (or rom M 0 to M n 1) Note tht: m i = M i. unction cn e expressed s sum o minterms or s product o mxterms: minterm cn e 1 or 0. When the minterm is 1, the minterm is term o the unction. mxterm cn e 1 or 0. When the mxterm is 0, the mxterm is term o the unction. sum o products (SOP) tht include only minterms or product o sums (POS) tht contin only mxterms re clled nonicl orms. I SOP includes terms tht re not minterms (or POS includes terms tht re not mxterms), they re clled noncnonicl orms. or exmple: (x 1, x, x ) = x 1 x x + x 1 x (x 1, x, x ) = (x 1 + x + x )(x 1 + x ) (x 1, x, x ) = x 1 x x + x 1 x + x 1 x + (x 1 + x + x ) Exmple: Z Sum o Products 0 = Z + Z + Z + Z 0 0 1 1 (,, Z) = (m 1, m 4, m 5, m 6 ). 0 1 0 0 (,, Z) = m(1,4,5,6) lso: (,, Z) = m(0,,,7) 0 1 1 0 1 0 0 1 Product o Sums 1 0 1 1 = ( + + Z)( + + Z)( + + Z )( + + Z ) 1 1 0 1 (,, Z) = (M 0, M, M, M 7 ). 0 (,, Z) = M(0,,,7) lso: (,, Z) = M(1,4,5,6) Note how (,, Z) = m(1,4,5,6) = M(0,,,7). TIMING DIGRMS G G 4 Instructor: Dniel Llmocc

ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 ILIN PG IMPLEMENTTION - DESIGN LOW Design Entry: Here, the circuit is speciied vi Hrdwre Description Lnguge (HDL), Schemtic, or wveorm. The process o veriiction o the HDL syntx o schemtic connections is clled Synthesis. ehviorl Simultion: This is crucil step. our Design Entry might e 'error-ree' syntx-wise, however it might not work s expected. Here, we provide time-vrying stimuli to the inputs o logic circuit nd veriy tht the outputs re correct. When the stimuli is written in HDL, it is clled 'test-ench'. This process is very similr to using signl genertor to crete the inputs, nd using scope to visulize the outputs over time. Physicl Mpping: Here we speciy which inputs nd outputs mp to the speciic components o the PG we selected nd the Printed ircuit ord (P) tht houses the PG. In ilinx ISE, this is done vi ile clled onstrints ile (.uc). Timing Simultion: ehviorl Simultion only simultes the circuit 'logiclly', i.e., it does not tke into ccount nlog nd electricl eects. Timing simultion does consider the dely tht exist etween inputs nd outputs, nd thereore it is very useul to determine glitches, hzrds, etc. Implementtion: Here, we "progrm" the PG. In this step, we gr conigurtion ile (clled 'itstrem') nd then downlod it onto the PG. PRTIE EERISES Simpliy the ollowing unctions: = Z + Z + Z + Z (,, Z) = (m 0, m, m 6 ) (,, Z) = (M, M 4, M 7 ) = ( + + Z)( + + Z ) = ( + + D)( + D) = ( + D ) + Provide the oolen unctions nd sketch the logic circuit. Use the two representtions: i) Sum o Products, ii) Product o Sums. lso, provide the minterms nd mxterms representtions. 1 4 5 6 7 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 Otin the logic unction (nd minimize i possile) o the ollowing circuits: Drw the timing digrm o the ollowing circuit: Design circuit tht veriies the logicl opertion o the OR gte. = '1' (LED ON) i the OR gte works properly. ssumption: when the OR gte is not working, it is generting 1's insted o 0's nd vice vers. Tip: irst, generte the truth tle. x? Security comintion: We hve lock tht only opens when we set eight (8) switches s in the igure. Ech switch represents oolen vrile. Get the unction tht opens the lock ( logicl '1' is generted) when the switches re conigured s in the igure. Here, n open lock is represented y n LED tht is ON. ON (1) O (0) 5 Instructor: Dniel Llmocc