Chapter 3. Table of content Chapter 1: Switching Algebra Chapter 2: Logical Levels, Timing & Delays

Size: px
Start display at page:

Download "Chapter 3. Table of content Chapter 1: Switching Algebra Chapter 2: Logical Levels, Timing & Delays"

Transcription

1 hapter 3 Dr.-ng. Stefan Werner Tale of ontent hapter 1: Swithing lgera hapter 2: Logial Levels, Timing & Delays hapter 3: Karnaugh-Veith-Maps hapter 4: ominational iruit Design hapter 5: Lathes and Flip Flops hapter 6: Finite State Mahines hapter 7: asi Sequential iruits hapter 8: Numer Systems hapter 9: inary rithmeti hapter 10: inary odes Simplifiation of logial funtions Struture of KV-Maps Logial funtions in a KV-Map Minimization with KV Maps Minimizing aross the orders KV-Maps and Don t ares Produt-of-Sums and KV-Maps Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 2of 17 1

2 lternatives Original iruit Disjuntive Form onjuntive Form Whih iruit is the est implementation? What is the EST? Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 3of 17 iruit selet Original iruit Disjuntive Form onjuntive Form Result: hose iruit 1 or 3 for a ompat solution hose iruit 2 or 3 for a fast solution Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 4of 17 2

3 Try... Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 5of 17 KV-Map for multiple variales The KV-Map for multiple variales an e otained y mirroring the asi struture. The distriution of the variale s region does not need to e exatly like this. There are also other possiilities Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 6of 17 3

4 Two different valid setup for a 4 variale KV Map a d Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 7of 17 Neighours aross orders n 2-dimensional representation, it is not learly shown that the fields at the map s orders are neighours to eah other. This irumstane eomes learer when skething a KV-Map in 3 dimensions. Here we an easily see, that and are neighours. Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 8of 17 4

5 KV-Maps for more than 4 variales The assignment of areas in a KV-Map with 5 variales is ompliated. Using a KV-Map on more than 4 variales will lead to at least one area that is split up. This is the reason why the utilisation of KV-Map is somehow limited. Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 9of 17 Logial funtions in a KV-Map a KV-Map an e onsidered as a 2 dimensional truth tale. every possile input omination is found as one field of the KV-Map, every field orresponds to one row in the truth tale. a ell map helps to find eah row of a truth tale in a KV-Map (keep in mind that the position of the rows depends on how the KV-Map was drawn). Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 10 of 17 5

6 Truth tale and KV Maps To represent a funtion with the KV-Map we only have to fill the map s fields with the aording funtion values Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 11 of 17 Prime impliants and essential prime impliants any Prime mpliant that ontains at least one Minterm that is not overed y any other Prime mpliant must e part of the minimised funtion. these terms are therefore alled Essential Prime mpliants. all minterms overed y a a d the prime term a are also overed y at least one of the other prime terms a d a d ll other prime terms are essential prime terms f = d + a + a d Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 12 of 17 6

7 Minimising aross the orders When searhing for loks of 1s keep in mind that KV-Maps are irular => there might e impliants in the outer regions : Examples d a d a f = a d + d f = d Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 13 of 17 Example for don t are states W = D + D + D + D + D = D + D + D + D + D Y = D + D + D + D + D Z = D + D + D + D + D Don' t are = + D Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 14 of 17 7

8 Example: plaing the don t are states we have to draw four KV-Maps; all of them with the same ordering of don t are states Don' t are = D Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 15 of 17 Example: usage of the don t are states D D Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger W = + + D 1 Y = + + D 1 1 D D 1 = + D + 1 Z = D Leturer: Dr. ng. Stefan Werner 16 of 17 8

9 Example for produt of sums and KV-Maps f =( a + + )( a + + )( a + + ) a f = a + = ( a + )( + ) Fahgeiet Tehnishe nformatik Prof. Dr. ng. xel Hunger Leturer: Dr. ng. Stefan Werner 17 of 17 9

Chapter 6 Introduction to state machines

Chapter 6 Introduction to state machines 9..7 hapter 6 Introduction to state machines Dr.-Ing. Stefan Werner Table of content hapter : Switching Algebra hapter : Logical Levels, Timing & Delays hapter 3: Karnaugh-Veitch-Maps hapter 4: ombinational

More information

Unit 4. Combinational Circuits

Unit 4. Combinational Circuits Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute

More information

Jan Van den Bussche. Departement WNI, Limburgs Universitair Centrum (LUC), Universitaire Campus, B-3590 Diepenbeek, Belgium

Jan Van den Bussche. Departement WNI, Limburgs Universitair Centrum (LUC), Universitaire Campus, B-3590 Diepenbeek, Belgium Theoretial Computer Siene 254 (2001) 363 377 www.elsevier.om/loate/ts Simulation of the nested relational algera y the at relational algera, with an appliation to the omplexity of evaluating powerset algera

More information

Mathematics I: Algebra

Mathematics I: Algebra Mathematics I: lgera Prolem. Solve the following system of equations y using the reduced row echelon form of its augmented matrix: x + x x x x + x ; x x + 6x Solution: The augmented matrix is 6 F FF F;

More information

Arithmetic Circuits. Comp 120, Spring 05 2/10 Lecture. Today s BIG Picture Reading: Study Chapter 3. (Chapter 4 in old book)

Arithmetic Circuits. Comp 120, Spring 05 2/10 Lecture. Today s BIG Picture Reading: Study Chapter 3. (Chapter 4 in old book) omp 2, pring 5 2/ Leture page Arithmeti iruits Didn t I learn how to do addition in the seond grade? UN ourses aren t what they used to be... + Finally; time to build some serious funtional bloks We ll

More information

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

Principles of Computer Architecture. Appendix B: Reduction of Digital Logic. Chapter Contents B-1 Principles of Computer Architecture Miles Murdocca and Vincent Heuring Appendix B: Reduction of Digital Logic B-2 Chapter Contents B.1 Reduction of Combinational Logic and Sequential Logic B.2 Reduction

More information

NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS

NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS Cybernetis and Systems Analysis, Vol. 43, No. 5, 007 NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS ARCHITECTURAL OPTIMIZATION OF A DIGITAL OPTICAL MULTIPLIER A. V. Anisimov

More information

Lecture 7: Sampling/Projections for Least-squares Approximation, Cont. 7 Sampling/Projections for Least-squares Approximation, Cont.

Lecture 7: Sampling/Projections for Least-squares Approximation, Cont. 7 Sampling/Projections for Least-squares Approximation, Cont. Stat60/CS94: Randomized Algorithms for Matries and Data Leture 7-09/5/013 Leture 7: Sampling/Projetions for Least-squares Approximation, Cont. Leturer: Mihael Mahoney Sribe: Mihael Mahoney Warning: these

More information

Sufficient Conditions for a Flexible Manufacturing System to be Deadlocked

Sufficient Conditions for a Flexible Manufacturing System to be Deadlocked Paper 0, INT 0 Suffiient Conditions for a Flexile Manufaturing System to e Deadloked Paul E Deering, PhD Department of Engineering Tehnology and Management Ohio University deering@ohioedu Astrat In reent

More information

CSE 140: Components and Design Techniques for Digital Systems

CSE 140: Components and Design Techniques for Digital Systems Lecture 4: Four Input K-Maps CSE 4: Components and Design Techniques for Digital Systems CK Cheng Dept. of Computer Science and Engineering University of California, San Diego Outlines Boolean Algebra

More information

K-map Definitions. abc

K-map Definitions. abc K-map efinitions b a bc Implicant ny single or any group of s is called an implicant of F. ny possible grouping of s is an implicant. b a Prime Implicant implicant that cannot be combined with some other

More information

Relative Maxima and Minima sections 4.3

Relative Maxima and Minima sections 4.3 Relative Maxima and Minima setions 4.3 Definition. By a ritial point of a funtion f we mean a point x 0 in the domain at whih either the derivative is zero or it does not exists. So, geometrially, one

More information

Two-Level Minimization

Two-Level Minimization Two-Level Minimization Logi Ciruits Design Seminars WS2010/2011, Leture 5 Ing. Petr Fišer, Ph.D. Department of Digital Design Faulty of Information Tehnology Czeh Tehnial University in Prague Evropský

More information

Advanced Computational Fluid Dynamics AA215A Lecture 4

Advanced Computational Fluid Dynamics AA215A Lecture 4 Advaned Computational Fluid Dynamis AA5A Leture 4 Antony Jameson Winter Quarter,, Stanford, CA Abstrat Leture 4 overs analysis of the equations of gas dynamis Contents Analysis of the equations of gas

More information

Lecture 11 Buckling of Plates and Sections

Lecture 11 Buckling of Plates and Sections Leture Bukling of lates and Setions rolem -: A simpl-supported retangular plate is sujeted to a uniaxial ompressive load N, as shown in the sketh elow. a 6 N N a) Calulate and ompare ukling oeffiients

More information

Carry Look-ahead Adders. EECS150 - Digital Design Lecture 12 - Combinational Logic & Arithmetic Circuits Part 2. Carry Look-ahead Adders

Carry Look-ahead Adders. EECS150 - Digital Design Lecture 12 - Combinational Logic & Arithmetic Circuits Part 2. Carry Look-ahead Adders EECS5 - Digital Design Leture 2 - Combinational Logi & Arithmeti Ciruits Part 2 Otober 3, 22 John Wawrzynek In general, for n-bit addition best we an ahieve is delay α log(n) How do we arrange this? (think

More information

Computer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1

Computer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1 Computer Siene 786S - Statistial Methods in Natural Language Proessing and Data Analysis Page 1 Hypothesis Testing A statistial hypothesis is a statement about the nature of the distribution of a random

More information

Digitalteknik EIT020. Lecture 10: Karnaugh Maps

Digitalteknik EIT020. Lecture 10: Karnaugh Maps Digitalteknik EIT020 Lecture 10: Karnaugh Maps September 30, 2014 Idea of minimisation Theorem There exists a prime cover that is a minimal cover. Minimal prime cover Find all prime implicants. Find the

More information

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

Logic. Basic Logic Functions. Switches in series (AND) Truth Tables. Switches in Parallel (OR) Alternative view for OR TOPIS: Logic Logic Expressions Logic Gates Simplifying Logic Expressions Sequential Logic (Logic with a Memory) George oole (85-864), English mathematician, oolean logic used in digital computers since

More information

arxiv:math/ v1 [math.ca] 27 Nov 2003

arxiv:math/ v1 [math.ca] 27 Nov 2003 arxiv:math/011510v1 [math.ca] 27 Nov 200 Counting Integral Lamé Equations by Means of Dessins d Enfants Sander Dahmen November 27, 200 Abstrat We obtain an expliit formula for the number of Lamé equations

More information

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

for Digital Systems Simplification of logic functions Tajana Simunic Rosing Sources: TSR, Katz, Boriello & Vahid SE140: omponents and Design Techniques for Digital Systems Simplification of logic functions Tajana Simunic Rosing 1 What we covered thus far: Number representations Where we are now inary, Octal, Hex,

More information

Supplementary Materials for A universal data based method for reconstructing complex networks with binary-state dynamics

Supplementary Materials for A universal data based method for reconstructing complex networks with binary-state dynamics Supplementary Materials for A universal ata ase metho for reonstruting omplex networks with inary-state ynamis Jingwen Li, Zhesi Shen, Wen-Xu Wang, Celso Greogi, an Ying-Cheng Lai 1 Computation etails

More information

Common Mistakes & How to avoid them Class X - Math. Unit: Algebra. Types of Question Common Mistakes Points to be emphasised. points.

Common Mistakes & How to avoid them Class X - Math. Unit: Algebra. Types of Question Common Mistakes Points to be emphasised. points. Common Mistakes & How to avoid them Class X - Math Unit: Algera Chapter: Pair of Linear Equations in Two Variales Types of Question Common Mistakes Points to e emphasised Solving the system of (i) Error

More information

This form sometimes used in logic circuit, example:

This form sometimes used in logic circuit, example: Objectives: 1. Deriving of logical expression form truth tables. 2. Logical expression simplification methods: a. Algebraic manipulation. b. Karnaugh map (k-map). 1. Deriving of logical expression from

More information

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits EE40 Lec 15 Logic Synthesis and Sequential Logic Circuits Prof. Nathan Cheung 10/20/2009 Reading: Hambley Chapters 7.4-7.6 Karnaugh Maps: Read following before reading textbook http://www.facstaff.bucknell.edu/mastascu/elessonshtml/logic/logic3.html

More information

CONTROL OF NON-LINEAR SYSTEM USING BACKSTEPPING

CONTROL OF NON-LINEAR SYSTEM USING BACKSTEPPING CONTOL OF NON-LINEA SYSTEM USING BACKSTEPPING Anamika as Ojha Ahala Khandelwal Asst Prof Department of Eletronis and Communiation Engineering Aropolis Institute of Tehnolog & esearh Madha Pradesh India

More information

Digital Hardware Systems

Digital Hardware Systems Digital Hardware Systems Digital Systems Digital vs. Analog Waveforms +5 +5 V T ime V T ime 5 5 Digital: only assumes discrete values Analog: values vary over a road range continuously JCM Page 55:32 -

More information

International Journal of Electronics and Computer Science Engineering 817. Available Online at ISSN

International Journal of Electronics and Computer Science Engineering 817. Available Online at   ISSN International Journal of Eletronis and Computer Siene Engineering 817 Available Online at www.ijese.org ISSN- 2277-1956 A Duly Synhronized, Straightforward Approah For Realizing the General Charateristis

More information

Simplifying Logic Circuits with Karnaugh Maps

Simplifying Logic Circuits with Karnaugh Maps Simplifying Logic Circuits with Karnaugh Maps The circuit at the top right is the logic equivalent of the Boolean expression: f = abc + abc + abc Now, as we have seen, this expression can be simplified

More information

NPTEL STRUCTURAL RELIABILITY

NPTEL STRUCTURAL RELIABILITY NTEL Course On STRUCTURL RELIBILITY Module # 02 Leture 2 Course Format: Web Instrutor: Dr. runasis Chakraborty Department of Civil Engineering Indian Institute of Tehnology Guwahati 2. Leture 02: Theory

More information

Buckling loads of columns of regular polygon cross-section with constant volume and clamped ends

Buckling loads of columns of regular polygon cross-section with constant volume and clamped ends 76 Bukling loads of olumns of regular polygon ross-setion with onstant volume and lamped ends Byoung Koo Lee Dept. of Civil Engineering, Wonkwang University, Iksan, Junuk, 7-79, Korea Email: kleest@wonkwang.a.kr

More information

WEEK 3.1 MORE ON KARNAUGH MAPS

WEEK 3.1 MORE ON KARNAUGH MAPS WEEK 3. MORE ON KARNAUGH MAPS Don t Cares Sometimes, we might have inputs and it doesn t matter what the output is; i.e., we don t care what the output is. These situations are called don t cares. Rather

More information

Fault Tolerant Variable Block Carry Skip Logic (VBCSL) using Parity Preserving Reversible Gates

Fault Tolerant Variable Block Carry Skip Logic (VBCSL) using Parity Preserving Reversible Gates Fault Tolerant Variable lok Carry Skip Logi (VCSL) using Parity Preserving Reversible Gates Md. Saiful Islam, M. M. Rahman*, Zerina egum, and M. Z. Hafiz Institute of Information Tehnology, University

More information

COM111 Introduction to Computer Engineering (Fall ) NOTES 6 -- page 1 of 12

COM111 Introduction to Computer Engineering (Fall ) NOTES 6 -- page 1 of 12 COM111 Introduction to Computer Engineering (Fall 2006-2007) NOTES 6 -- page 1 of 12 Karnaugh Maps In this lecture, we will discuss Karnaugh maps (K-maps) more formally than last time and discuss a more

More information

Math 151 Introduction to Eigenvectors

Math 151 Introduction to Eigenvectors Math 151 Introdution to Eigenvetors The motivating example we used to desrie matrixes was landsape hange and vegetation suession. We hose the simple example of Bare Soil (B), eing replaed y Grasses (G)

More information

Hankel Optimal Model Order Reduction 1

Hankel Optimal Model Order Reduction 1 Massahusetts Institute of Tehnology Department of Eletrial Engineering and Computer Siene 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Hankel Optimal Model Order Redution 1 This leture overs both

More information

If the speed of light were smaller than it is, would relativistic phenomena be more or less conspicuous than they are now?

If the speed of light were smaller than it is, would relativistic phenomena be more or less conspicuous than they are now? Physis 07 Problem. If the speed of light were smaller than it is, would relatiisti phenomena be more or less onspiuous than they are now? All of the phenomena of speial relatiity depend upon the fator

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most

More information

Synthesis of verifiably hazard-free asynchronous control circuits

Synthesis of verifiably hazard-free asynchronous control circuits Synthesis of verifiably hazardfree asynhronous ontrol iruits L. Lavagno Dept. of EECS University of California, Berkeley K. Keutzer AT&T Bell Laboratories Murray Hill, NJ November 9, 990 A. SangiovanniVinentelli

More information

The Complete Energy Translations in the Detailed. Decay Process of Baryonic Sub-Atomic Particles. P.G.Bass.

The Complete Energy Translations in the Detailed. Decay Process of Baryonic Sub-Atomic Particles. P.G.Bass. The Complete Energy Translations in the Detailed Deay Proess of Baryoni Su-Atomi Partiles. [4] P.G.Bass. PGBass P12 Version 1..3 www.relativitydomains.om August 218 Astrat. This is the final paper on the

More information

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

Digital Logic. CS211 Computer Architecture. l Topics. l Transistors (Design & Types) l Logic Gates. l Combinational Circuits. CS211 Computer Architecture Digital Logic l Topics l Transistors (Design & Types) l Logic Gates l Combinational Circuits l K-Maps Figures & Tables borrowed from:! http://www.allaboutcircuits.com/vol_4/index.html!

More information

Chapter 5. Karnaugh Map and Minimization Procedures

Chapter 5. Karnaugh Map and Minimization Procedures hapter 5 Karnaugh Map and Minimization Procedures Lesson 1 KARNAUGH MAP h05l1-"digital Principles and Design", Raj Kamal, Pearson Education, 2006 2 Outline Three variable Karnaugh map Four variable Karnaugh

More information

Analysis of Clocked Sequential Circuits

Analysis of Clocked Sequential Circuits Objectives Analysis of Clocked Sequential Circuits The objectives of this lesson are as follows: Analysis of clocked sequential circuits with an example State Reduction with an example State assignment

More information

General Equilibrium. What happens to cause a reaction to come to equilibrium?

General Equilibrium. What happens to cause a reaction to come to equilibrium? General Equilibrium Chemial Equilibrium Most hemial reations that are enountered are reversible. In other words, they go fairly easily in either the forward or reverse diretions. The thing to remember

More information

WYSE 2012 Math Sectional Solution Set. = Where. parametric relationship. That means that its graph would have dual lines.

WYSE 2012 Math Sectional Solution Set. = Where. parametric relationship. That means that its graph would have dual lines. x 1. Ans E: Think of f ( x) = uv, where u = x and v = e. The derivative of uv, y the x x x x produt rule, isu' v + v 'u = e + x e = e + 0xe.. Ans A: Using Cramer s Rule we have 1 1 1 x 1 1 = Where a a

More information

ENGG 1203 Tutorial - 2 Recall Lab 2 - e.g. 4 input XOR. Parity checking (for interest) Recall : Simplification methods. Recall : Time Delay

ENGG 1203 Tutorial - 2 Recall Lab 2 - e.g. 4 input XOR. Parity checking (for interest) Recall : Simplification methods. Recall : Time Delay ENGG 23 Tutorial - 2 Recall Lab 2 - e.g. 4 input XOR Parity checking (for interest) Parity bit Parity checking Error detection, eg. Data can be Corrupted Even parity total number of s is even Odd parity

More information

A population of 50 flies is expected to double every week, leading to a function of the x

A population of 50 flies is expected to double every week, leading to a function of the x 4 Setion 4.3 Logarithmi Funtions population of 50 flies is epeted to doule every week, leading to a funtion of the form f ( ) 50(), where represents the numer of weeks that have passed. When will this

More information

Ordering Generalized Trapezoidal Fuzzy Numbers. Using Orthocentre of Centroids

Ordering Generalized Trapezoidal Fuzzy Numbers. Using Orthocentre of Centroids International Journal of lgera Vol. 6 no. 69-85 Ordering Generalized Trapezoidal Fuzzy Numers Using Orthoentre of Centroids Y. L. P. Thorani P. Phani Bushan ao and N. avi Shanar Dept. of pplied Mathematis

More information

Chapter 2. Introduction. Chapter 2 :: Topics. Circuits. Nodes. Circuit elements. Introduction

Chapter 2. Introduction. Chapter 2 :: Topics. Circuits. Nodes. Circuit elements. Introduction hapter 2 Introduction igital esign and omputer rchitecture, 2 nd Edition avid Money Harris and Sarah L. Harris logic circuit is composed of: Inputs Outputs Functional specification Timing specification

More information

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

Boolean cubes EECS150. Mapping truth tables onto cubes. Simplification. The Uniting Theorem. Three variable example EES5 Section 5 Simplification and State Minimization Fall 2 -cube X oolean cubes Visual technique for indentifying when the uniting theorem can be applied n input variables = n-dimensional "cube" Y 2-cube

More information

State Diagrams. Margaret M. Fleck. 14 November 2011

State Diagrams. Margaret M. Fleck. 14 November 2011 State Diagrams Margaret M. Flek 14 November 2011 These notes over state diagrams. 1 Introdution State diagrams are a type of direted graph, in whih the graph nodes represent states and labels on the graph

More information

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL.

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL. 2017-18 XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL HALF ADDER 1. The circuit that performs addition within the Arithmetic and Logic Unit of the CPU are called adders. 2. A unit that adds two

More information

Combinational Logic (mostly review!)

Combinational Logic (mostly review!) ombinational Logic (mostly review!)! Logic functions, truth tables, and switches " NOT, N, OR, NN, NOR, OR,... " Minimal set! xioms and theorems of oolean algebra " Proofs by re-writing " Proofs by perfect

More information

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

Prove that if not fat and not triangle necessarily means not green then green must be fat or triangle (or both). hapter : oolean lgebra.) Definition of oolean lgebra The oolean algebra is named after George ool who developed this algebra (854) in order to analyze logical problems. n example to such problem is: Prove

More information

6.4 Dividing Polynomials: Long Division and Synthetic Division

6.4 Dividing Polynomials: Long Division and Synthetic Division 6 CHAPTER 6 Rational Epressions 6. Whih of the following are equivalent to? y a., b. # y. y, y 6. Whih of the following are equivalent to 5? a a. 5, b. a 5, 5. # a a 6. In your own words, eplain one method

More information

An Efficient Sequential SAT Solver With Improved Search Strategies

An Efficient Sequential SAT Solver With Improved Search Strategies An Effiient Sequential SAT Solver With Improved Searh Strategies F. Lu, M.K. Iyer, G. Parthasarathy, L.-C. Wang, and K.-T. Cheng K.C. Chen Department of ECE, Design Tehnology University of California at

More information

Discrete Mathematics

Discrete Mathematics Disrete Mathematis -- Chapter 8: The Priniple i of Inlusion and Exlusion Hung-Yu Kao Department of Computer iene and Information Engineering, ational lcheng Kung University Outline The Priniple of Inlusion

More information

;Algebra 1: FOIL Method ;copyright 2004 Inspired Idea All rights reserved

;Algebra 1: FOIL Method ;copyright 2004 Inspired Idea All rights reserved ;Algera 1: FOIL Method ;opyright 004 Inspired Idea All rights reserved \presentation [foil.jpg][p]in algera a speial proess of multiplying two inomials together makes the aronym FOIL for First, Outer,

More information

Chapter 2: Logical levels, timing and delay

Chapter 2: Logical levels, timing and delay 28.1.216 haper 2: Logical levels, iming and delay Dr.-ng. Sefan Werner Winersemeser 216/17 Table of conen haper 1: Swiching lgebra haper 2: Logical Levels, Timing & Delays haper 3: Karnaugh-Veich-Maps

More information

ELEC Digital Logic Circuits Fall 2015 Logic Minimization (Chapter 3)

ELEC Digital Logic Circuits Fall 2015 Logic Minimization (Chapter 3) ELE 2200-002 igital Logic ircuits Fall 205 Logic Minimization (hapter 3) Vishwani. grawal James J. anaher Professor epartment of Electrical and omputer Engineering uburn University, uburn, L 36849 http://www.eng.auburn.edu/~vagrawal

More information

Engr354: Digital Logic Circuits

Engr354: Digital Logic Circuits Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost

More information

Microeconomic Theory I Assignment #7 - Answer key

Microeconomic Theory I Assignment #7 - Answer key Miroeonomi Theory I Assignment #7 - Answer key. [Menu priing in monopoly] Consider the example on seond-degree prie disrimination (see slides 9-93). To failitate your alulations, assume H = 5, L =, and

More information

Digital Circuits and Systems

Digital Circuits and Systems EE201: Digital Circuits and Systems 4 Sequential Circuits page 1 of 11 EE201: Digital Circuits and Systems Section 4 Sequential Circuits 4.1 Overview of Sequential Circuits: Definition The circuit whose

More information

A Logic of Local Graph Shapes

A Logic of Local Graph Shapes CTIT Tehnial Report TR CTIT 03 35, University of Twente, 2003 A Logi of Loal Graph Shapes Arend Rensink Department of Computer Siene, University of Twente P.O.Box 27, 7500 AE, The Netherlands rensink@s.utwente.nl

More information

Maximum Entropy and Exponential Families

Maximum Entropy and Exponential Families Maximum Entropy and Exponential Families April 9, 209 Abstrat The goal of this note is to derive the exponential form of probability distribution from more basi onsiderations, in partiular Entropy. It

More information

Simplify the following Boolean expressions and minimize the number of literals:

Simplify the following Boolean expressions and minimize the number of literals: Boolean Algebra Task 1 Simplify the following Boolean expressions and minimize the number of literals: 1.1 1.2 1.3 Task 2 Convert the following expressions into sum of products and product of sums: 2.1

More information

Electronics. Overview. Introducction to Synthetic Biology

Electronics. Overview. Introducction to Synthetic Biology Electronics Introducction to Synthetic iology E Navarro Montagud P Fernandez de Cordoba JF Urchueguía Overview Introduction oolean algebras Logical gates Representation of boolean functions Karnaugh maps

More information

Optimizations and Tradeoffs. Combinational Logic Optimization

Optimizations and Tradeoffs. Combinational Logic Optimization Optimizations and Tradeoffs Combinational Logic Optimization Optimization & Tradeoffs Up to this point, we haven t really considered how to optimize our designs. Optimization is the process of transforming

More information

Application of the finite-element method within a two-parameter regularised inversion algorithm for electrical capacitance tomography

Application of the finite-element method within a two-parameter regularised inversion algorithm for electrical capacitance tomography Appliation of the finite-element method within a two-parameter regularised inversion algorithm for eletrial apaitane tomograph D Hinestroza, J C Gamio, M Ono Departamento de Matemátias, Universidad del

More information

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

Logic and Computer Design Fundamentals. Chapter 2 Combinational Logic Circuits. Part 2 Circuit Optimization Logic and omputer Design Fundamentals hapter 2 ombinational Logic ircuits Part 2 ircuit Optimization harles Kime & Thomas Kaminski 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode)

More information

I F I G R e s e a r c h R e p o r t. Minimal and Hyper-Minimal Biautomata. IFIG Research Report 1401 March Institut für Informatik

I F I G R e s e a r c h R e p o r t. Minimal and Hyper-Minimal Biautomata. IFIG Research Report 1401 March Institut für Informatik I F I G R e s e a r h R e p o r t Institut für Informatik Minimal and Hyper-Minimal Biautomata Markus Holzer Seastian Jakoi IFIG Researh Report 1401 Marh 2014 Institut für Informatik JLU Gießen Arndtstraße

More information

Nozzle Fuzzy Controller of Agricultural Spraying Robot Aiming Toward Crop Rows

Nozzle Fuzzy Controller of Agricultural Spraying Robot Aiming Toward Crop Rows Nozzle Fuzzy ontroller of Agriultural Spraying Root Aiming Toward rop Rows Jianqiang Ren Department of omputer, Langfang Teahers ollege, Langfang, Heei Provine, P.R. hina 065000, Tel.:+86-316-681780 renjianqiang@163.om

More information

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

Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps EE210: Switching Systems Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps Prof. YingLi Tian Feb. 21/26, 2019 Department of Electrical Engineering The City College of New York

More information

Name. ECE-200 Intelligent Systems

Name. ECE-200 Intelligent Systems Name Spring 2003 EE-200 Intelligent Systems Pracice Final Solution ll problems have the same weight Problem 1. We are working with a multiplexor that is to switch between four sources (inputs), each one

More information

Chapter 3 Church-Turing Thesis. CS 341: Foundations of CS II

Chapter 3 Church-Turing Thesis. CS 341: Foundations of CS II CS 341: Foundations of CS II Marvin K. Nakayama Computer Siene Department New Jersey Institute of Tehnology Newark, NJ 07102 CS 341: Chapter 3 3-2 Contents Turing Mahines Turing-reognizable Turing-deidable

More information

Logic Minimization. Two-Level. University of California. Prof. Srinivas Devadas. Prof. Richard Newton Prof. Sanjit Seshia. Prof.

Logic Minimization. Two-Level. University of California. Prof. Srinivas Devadas. Prof. Richard Newton Prof. Sanjit Seshia. Prof. Two-Level Logic Minimization Prof. Srinivas Devadas MIT Prof. Kurt Keutzer Prof. Richard Newton Prof. Sanjit Seshia University of California Berkeley, CA 1 Topics Motivation Boolean functions & notation

More information

EE 321 Project Spring 2018

EE 321 Project Spring 2018 EE 21 Projet Spring 2018 This ourse projet is intended to be an individual effort projet. The student is required to omplete the work individually, without help from anyone else. (The student may, however,

More information

Figure 1-1 Basic Gates

Figure 1-1 Basic Gates Figure - Basic Gates B ND: = B B OR: = + B NOT: = ' B ELUSIVE OR: = + B Figure -2 Full dder Y in FULL DDER (a) Full adder module out Sum Y in outsum (b) Truth Table Sum = 'Y'in + 'Yin' + Y'in' + Yin =

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 6: Minigoals Towards Simplifying and Rewriting Expressions MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy

More information

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

Working with Combinational Logic. Design example: 2x2-bit multiplier Working with ombinational Logic Simplification two-level simplification exploiting don t cares algorithm for simplification Logic realization two-level logic and canonical forms realized with NNs and NORs

More information

SRC Research. Report. An Efficient Matching Algorithm for a High-Throughput, Low-Latency Data Switch. Thomas L. Rodeheffer and James B.

SRC Research. Report. An Efficient Matching Algorithm for a High-Throughput, Low-Latency Data Switch. Thomas L. Rodeheffer and James B. Novemer 5, 998 SRC Researh Report 6 An Effiient Mathing Algorithm for a High-Throughput, Low-Lateny Data Swith Thomas L Rodeheffer and James B Saxe Systems Researh Center 30 Lytton Avenue Palo Alto, CA

More information

The simulation analysis of the bridge rectifier continuous operation in AC circuit

The simulation analysis of the bridge rectifier continuous operation in AC circuit Computer Appliations in Eletrial Engineering Vol. 4 6 DOI 8/j.8-448.6. The simulation analysis of the bridge retifier ontinuous operation in AC iruit Mirosław Wiślik, Paweł Strząbała Kiele University of

More information

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

CMSC 313 Lecture 15 Good-bye Assembly Language Programming Overview of second half on Digital Logic DigSim Demo CMSC 33 Lecture 5 Good-bye ssembly Language Programming Overview of second half on Digital Logic DigSim Demo UMC, CMSC33, Richard Chang Good-bye ssembly Language What a pain! Understand

More information

Problem Set 9 Solutions

Problem Set 9 Solutions CSE 26 Digital Computers: Organization and Logical Design - 27 Jon Turner Problem Set 9 Solutions. For each of the sequential circuits shown below, draw in the missing parts of the timing diagrams. You

More information

Relativity in Classical Physics

Relativity in Classical Physics Relativity in Classial Physis Main Points Introdution Galilean (Newtonian) Relativity Relativity & Eletromagnetism Mihelson-Morley Experiment Introdution The theory of relativity deals with the study of

More information

Unit 2 Session - 6 Combinational Logic Circuits

Unit 2 Session - 6 Combinational Logic Circuits Objectives Unit 2 Session - 6 Combinational Logic Circuits Draw 3- variable and 4- variable Karnaugh maps and use them to simplify Boolean expressions Understand don t Care Conditions Use the Product-of-Sums

More information

Chapter 4 Optimized Implementation of Logic Functions

Chapter 4 Optimized Implementation of Logic Functions Chapter 4 Optimized Implementation of Logic Functions Logic Minimization Karnaugh Maps Systematic Approach for Logic Minimization Minimization of Incompletely Specified Functions Tabular Method for Minimization

More information

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

Show that the dual of the exclusive-or is equal to its compliment. 7 Darshan Institute of ngineering and Technology, Rajkot, Subject: Digital lectronics (2300) GTU Question ank Unit Group Questions Do as directed : I. Given that (6)0 = (00)x, find the value of x. II. dd

More information

Danielle Maddix AA238 Final Project December 9, 2016

Danielle Maddix AA238 Final Project December 9, 2016 Struture and Parameter Learning in Bayesian Networks with Appliations to Prediting Breast Caner Tumor Malignany in a Lower Dimension Feature Spae Danielle Maddix AA238 Final Projet Deember 9, 2016 Abstrat

More information

Combined Electric and Magnetic Dipoles for Mesoband Radiation, Part 2

Combined Electric and Magnetic Dipoles for Mesoband Radiation, Part 2 Sensor and Simulation Notes Note 53 3 May 8 Combined Eletri and Magneti Dipoles for Mesoband Radiation, Part Carl E. Baum University of New Mexio Department of Eletrial and Computer Engineering Albuquerque

More information

Satellite Image Interpretation using Spatial Reasoning

Satellite Image Interpretation using Spatial Reasoning Abstrat Satellite Image Interpretation using Spatial Reasoning Jane Brennan and Arot Sowmya Department of Artifiial Intelligene Shool of Computer Siene and Engineering University of New South Wales Sydney

More information

Week-5. Sequential Circuit Design. Acknowledgement: Most of the following slides are adapted from Prof. Kale's slides at UIUC, USA.

Week-5. Sequential Circuit Design. Acknowledgement: Most of the following slides are adapted from Prof. Kale's slides at UIUC, USA. Week-5 Sequential Circuit Design Acknowledgement: Most of the following slides are adapted from Prof. Kale's slides at UIUC, USA. Storing a value: SR = 00 What if S = 0 and R = 0? The equations on the

More information

Bohr Models are NOT Boring! How to Draw Bohr Diagrams

Bohr Models are NOT Boring! How to Draw Bohr Diagrams Bohr Models are NOT Boring! How to Draw Bohr Diagrams 1) Find the element on the periodic table. 2)Determine the number of electrons--it is the same as the atomic number. 3)This is how many electrons you

More information

Click here to order this book in one of two formats: softcover ISBN: $50.00 ISBN: $50.00

Click here to order this book in one of two formats: softcover ISBN: $50.00 ISBN: $50.00 ere is a sample hapter from Letures on Radiation Dosimetry Physis: A Deeper Look into the Foundations of Clinial Protools his sample hapter is opyrighted and made availale for personal use only No part

More information

Chapter 2. Conditional Probability

Chapter 2. Conditional Probability Chapter. Conditional Probability The probabilities assigned to various events depend on what is known about the experimental situation when the assignment is made. For a partiular event A, we have used

More information

CSE370 HW6 Solutions (Winter 2010)

CSE370 HW6 Solutions (Winter 2010) SE370 HW6 Solutions (Winter 2010) 1. L2e, 6.10 For this problem we are given a blank waveform with clock and input and asked to draw out the how different flip-flops and latches would behave. LK a) b)

More information

Lecture 17: Designing Sequential Systems Using Flip Flops

Lecture 17: Designing Sequential Systems Using Flip Flops EE210: Switching Systems Lecture 17: Designing Sequential Systems Using Flip Flops Prof. YingLi Tian April 11, 2019 Department of Electrical Engineering The City College of New York The City University

More information

ELEC Digital Logic Circuits Fall 2014 Logic Minimization (Chapter 3)

ELEC Digital Logic Circuits Fall 2014 Logic Minimization (Chapter 3) ELE 2200-002 Digital Logic ircuits Fall 204 Logic Minimization (hapter 3) Vishwani D. grawal James J. Danaher Professor Department of Electrical and omputer Engineering uburn University, uburn, L 36849

More information

ELEC Digital Logic Circuits Fall 2014 Sequential Circuits (Chapter 6) Finite State Machines (Ch. 7-10)

ELEC Digital Logic Circuits Fall 2014 Sequential Circuits (Chapter 6) Finite State Machines (Ch. 7-10) ELEC 2200-002 Digital Logic Circuits Fall 2014 Sequential Circuits (Chapter 6) Finite State Machines (Ch. 7-10) Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and Computer Engineering

More information

Remarks Around Lorentz Transformation

Remarks Around Lorentz Transformation Remarks Around Lorentz Transformation Arm Boris Nima arm.boris@gmail.om Abstrat After diagonalizing the Lorentz Matrix, we find the frame where the Dira equation is one derivation and we alulate the speed

More information