CS 316: Gates and Logic



Similar documents
Lec 2: Gates and Logic

CS99S Laboratory 2 Preparation Copyright W. J. Dally 2001 October 1, 2001

OUTLINE SYSTEM-ON-CHIP DESIGN. GETTING STARTED WITH VHDL August 31, 2015 GAJSKI S Y-CHART (1983) TOP-DOWN DESIGN (1)

Equivalence Checking. Sean Weaver

Words Symbols Diagram. abcde. a + b + c + d + e

MATH 150 HOMEWORK 4 SOLUTIONS

Two hours UNIVERSITY OF MANCHESTER SCHOOL OF COMPUTER SCIENCE. Date: Friday 16 th May Time: 14:00 16:00

Ratio and Proportion

Appendix D: Completing the Square and the Quadratic Formula. In Appendix A, two special cases of expanding brackets were considered:

Reasoning to Solve Equations and Inequalities

Warm-up for Differential Calculus

Homework 3 Solutions

and thus, they are similar. If k = 3 then the Jordan form of both matrices is

Printer Disk. Modem. Computer. Mouse. Tape. Display. I/O Devices. Keyboard

Chapter. Contents: A Constructing decimal numbers

Learning Outcomes. Computer Systems - Architecture Lecture 4 - Boolean Logic. What is Logic? Boolean Logic 10/28/2010

1. Definition, Basic concepts, Types 2. Addition and Subtraction of Matrices 3. Scalar Multiplication 4. Assignment and answer key 5.

Lecture 5. Inner Product

RIGHT TRIANGLES AND THE PYTHAGOREAN TRIPLETS

Vectors Recap of vectors

Polynomial Functions. Polynomial functions in one variable can be written in expanded form as ( )

4.11 Inner Product Spaces

Use Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions.

Bayesian Updating with Continuous Priors Class 13, 18.05, Spring 2014 Jeremy Orloff and Jonathan Bloom

Angles 2.1. Exercise Find the size of the lettered angles. Give reasons for your answers. a) b) c) Example

. At first sight a! b seems an unwieldy formula but use of the following mnemonic will possibly help. a 1 a 2 a 3 a 1 a 2

MA Lesson 16 Notes Summer 2016 Properties of Logarithms. Remember: A logarithm is an exponent! It behaves like an exponent!

Example 27.1 Draw a Venn diagram to show the relationship between counting numbers, whole numbers, integers, and rational numbers.

SOLVING EQUATIONS BY FACTORING

The remaining two sides of the right triangle are called the legs of the right triangle.

Math 314, Homework Assignment Prove that two nonvertical lines are perpendicular if and only if the product of their slopes is 1.

Geometry 7-1 Geometric Mean and the Pythagorean Theorem

Angles and Triangles

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES

Calculating Principal Strains using a Rectangular Strain Gage Rosette

MATH PLACEMENT REVIEW GUIDE

Firm Objectives. The Theory of the Firm II. Cost Minimization Mathematical Approach. First order conditions. Cost Minimization Graphical Approach

50 MATHCOUNTS LECTURES (10) RATIOS, RATES, AND PROPORTIONS

Brillouin Zones. Physics 3P41 Chris Wiebe

Graphs on Logarithmic and Semilogarithmic Paper

Math 135 Circles and Completing the Square Examples

5.2. LINE INTEGRALS 265. Let us quickly review the kind of integrals we have studied so far before we introduce a new one.

Treatment Spring Late Summer Fall Mean = 1.33 Mean = 4.88 Mean = 3.

1 Fractions from an advanced point of view

Lectures 8 and 9 1 Rectangular waveguides

Second Term MAT2060B 1. Supplementary Notes 3 Interchange of Differentiation and Integration

Example A rectangular box without lid is to be made from a square cardboard of sides 18 cm by cutting equal squares from each corner and then folding

Forensic Engineering Techniques for VLSI CAD Tools

EQUATIONS OF LINES AND PLANES

Experiment 6: Friction

Pentominoes. Pentominoes. Bruce Baguley Cascade Math Systems, LLC. The pentominoes are a simple-looking set of objects through which some powerful

Lecture 3 Gaussian Probability Distribution

Mathematics. Vectors. hsn.uk.net. Higher. Contents. Vectors 128 HSN23100

CUBIC-FOOT VOLUME OF A LOG

PROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY

Physics 43 Homework Set 9 Chapter 40 Key

New combinatorial features for knots and virtual knots. Arnaud MORTIER

Vectors Summary. Projection vector AC = ( Shortest distance from B to line A C D [OR = where m1. and m

Regular Sets and Expressions

Distributions. (corresponding to the cumulative distribution function for the discrete case).

Binary Representation of Numbers Autar Kaw

Trowel Notch Sizes for Installation of Floor Coverings, Wood Flooring and Tiles

Module 2. Analysis of Statically Indeterminate Structures by the Matrix Force Method. Version 2 CE IIT, Kharagpur

Summary: Vectors. This theorem is used to find any points (or position vectors) on a given line (direction vector). Two ways RT can be applied:

Factoring Polynomials

Lecture 25: More Rectangular Domains: Neumann Problems, mixed BC, and semi-infinite strip problems

Active Directory Service

Section 5-4 Trigonometric Functions

Radius of the Earth - Radii Used in Geodesy James R. Clynch Naval Postgraduate School, 2002

Operations with Polynomials

COMPONENTS: COMBINED LOADING

Module 5. Three-phase AC Circuits. Version 2 EE IIT, Kharagpur

1.2 The Integers and Rational Numbers

MULTIPLYING OUT & FACTORING

End of term: TEST A. Year 4. Name Class Date. Complete the missing numbers in the sequences below.

Quick Guide to Lisp Implementation

The invention of line integrals is motivated by solving problems in fluid flow, forces, electricity and magnetism.

Java CUP. Java CUP Specifications. User Code Additions You may define Java code to be included within the generated parser:

Chapter. Fractions. Contents: A Representing fractions

AREA OF A SURFACE OF REVOLUTION

Revised products from the Medicare Learning Network (MLN) ICD-10-CM/PCS Myths and Facts, Fact Sheet, ICN , downloadable.

0.1 Basic Set Theory and Interval Notation

One Minute To Learn Programming: Finite Automata

Rotational Equilibrium: A Question of Balance

SINCLAIR COMMUNITY COLLEGE DAYTON, OHIO DEPARTMENT SYLLABUS FOR COURSE IN MAT COLLEGE ALGEBRA (4 SEMESTER HOURS)

Basic Ultrasound Views

Integration by Substitution

Novel Methods of Generating Self-Invertible Matrix for Hill Cipher Algorithm

Or more simply put, when adding or subtracting quantities, their uncertainties add.

Practice Test 2. a. 12 kn b. 17 kn c. 13 kn d. 5.0 kn e. 49 kn

Basic Analysis of Autarky and Free Trade Models

All pay auctions with certain and uncertain prizes a comment

SOLVING QUADRATIC EQUATIONS BY FACTORING

LECTURE #05. Learning Objectives. How does atomic packing factor change with different atom types? How do you calculate the density of a material?

Lecture 3: orientation. Computer Animation

SECTION 7-2 Law of Cosines

Data Security 1. 1 What is the function of the Jump instruction? 2 What are the main parts of the virus code? 3 What is the last act of the virus?

MODULE 3. 0, y = 0 for all y

Review. Scan Conversion. Rasterizing Polygons. Rasterizing Polygons. Triangularization. Convex Shapes. Utah School of Computing Spring 2013

LECTURE #05. Learning Objective. To describe the geometry in and around a unit cell in terms of directions and planes.

Transcription:

CS 36: Gtes nd Logi Kvit Bl Fll 27 Computer Siene Cornell University Announements Clss newsgroup reted Posted on we-pge Use it for prtner finding First ssignment is to find prtners

P nd N Trnsistors PNP Trnsistor B E NPN Trnsistor B E C Connet E to C when se = C Connet E to C when se = Inverter in Funtion: NOT Clled n inverter Symol: in In Out Truth tle Useful for tking the inverse of n input CMOS: omplementry-symmetry metl oxide semiondutor 2

NAND Gte Funtion: NAND Symol: A B +Vdd NOR Gte Funtion: NOR Symol: Vss A B 3

NOT: Building Funtions AND: OR: NAND nd NOR re universl Cn implement ny funtion with NAND or just NOR gtes useful for mnufturing NOT: Building Funtions AND: OR: NAND nd NOR re universl Cn implement ny funtion with NAND or just NOR gtes useful for mnufturing 4

Logi Equtions AND = = & = OR = + = = NOT = =! = Identities Identities useful for mnipulting logi equtions For optimiztion & ese of implementtion + = + = + = = = = (+) = + ( + ) = ( ) = + + = + 5

Logi Mnipultion Cn speify funtions y desriing gtes, truth tles or logi equtions Cn mnipulte logi equtions lgerilly Cn lso use truth tle to prove equivlene Exmple: (+)(+) = + + + LHS RHS (+)(+) = + + + = + (+) + = ( + (+)) + = + Logi Minimiztion A ommon prolem is how to implement desired funtion most effiiently One n derive the eqution from the truth tle minterm for ll puts tht re, tke the orresponding minterm, OR the minterms to otin the result in sum of produts form How does one find the most effiient eqution? Mnipulte lgerilly until stisfied Use Krnugh mps 6

Krnugh mps Enoding of the truth tle where djent ells differ in only one it truth tle for AND Corresponding Krnugh mp Bigger Krnugh Mps 3-input fun y d 4-input fun y d 7

8 Minimiztion with Krnugh mps () Sum of minterms yields + + + Minimiztion with Krnugh mps (2) Sum of minterms yields + + + Krnugh mps identify whih inputs re (ir)relevnt to the put

Minimiztion with Krnugh mps (2) Sum of minterms yields + + + Krnugh mp minimiztion Cover ll s Group djent loks of 2 n s tht yield retngulr shpe Enode the ommon fetures of the retngle = + Krnugh Minimiztion Triks () Minterms n overlp = + + Minterms n spn 2, 4, 8 or more ells = + 9

Krnugh Minimiztion Triks (2) d d The mp wrps round = d = d Krnugh Minimiztion Triks (3) d x x x x x d x x x x x Don t re vlues n e interpreted individully in whtever wy is onvenient ssume ll x s = = d ssume middle x s = ssume 4 th olumn x = = d