Universality, Gates, and Logic (ppt)

Universality, Gates, and Logic (ppt) - ESE534: Computer...

Info iconThis preview shows pages 1–15. Sign up to view the full content.

View Full Document Right Arrow Icon
Penn ESE534 Spring2010 -- DeHon 1 ESE534: Computer Organization Day 2: January 20, 2010 Universality, Gates, Logic Work Preclass Exercise
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Penn ESE534 Spring2010 -- DeHon 2 Last Time Computational Design as an Engineering Discipline Importance of Costs
Background image of page 2
Penn ESE534 Spring2010 -- DeHon 3 Today Universality Simple abstract computing building blocks gates, Boolean Equations RTL Logic (at least the logic part) Logic in Gates optimization properties Costs
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Preclass 1 Do the Case 1 circuits calculate the same thing? Case 2? Penn ESE534 Spring2010 -- DeHon 4
Background image of page 4
General How do we define equivalence? How do we determine if two circuits are equivalent? Penn ESE534 Spring2010 -- DeHon 5
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Penn ESE534 Spring2010 -- DeHon 6 Model: Stateless Functions (Combinational Logic) Compute some “ function – f(i 0 ,i 1 ,…i n ) o 0 ,o 1 ,…o m Each unique input vector implies a particular, deterministic, output vector
Background image of page 6
Boolean Equivalence Two functions are equivalent when They have the same outputs for every input vector i.e. , they have the same truth table There is a canonical specification for a Boolean function its Truth Table Penn ESE534 Spring2010 -- DeHon 7
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Penn ESE534 Spring2010 -- DeHon 8 Implementation in Gates Gate: small Boolean function Goal : assemble gates to cover our desired Boolean function Collection of gates should implement same function I.e. collection of gates and Boolean function should have same Truth Table
Background image of page 8
Penn ESE534 Spring2010 -- DeHon 9 Netlist Netlist: collection of interconnected gates A list of all the gates and what they are connected to
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Implementation How can I implement any Boolean function with gates? Penn ESE534 Spring2010 -- DeHon 10
Background image of page 10
Implementation Single output {0, 1} Use inverters to produce complements of inputs For each input case (minterm) If output is a 1 Develop an AND to detect that case » Decompose AND into gates OR together all such minterms Decompose OR into gates Multiple outputs Repeat for each output Penn ESE534 Spring2010 -- DeHon 11
Background image of page 11

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Universal set of primitives What primitives did I need to support previous implementation set? Conclude: can implement any Boolean function by a netlist of gates selected from a small set. Homework (B.1): How small can set be? Penn ESE534 Spring2010 -- DeHon 12
Background image of page 12
Penn ESE534 Spring2010 -- DeHon 13 Boolean Equations o=/a*/b*c+/a*b*/c+a*b*/c+a*/b*c Another way to express Boolean functions a b c o 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0
Background image of page 13

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Penn ESE534 Spring2010 -- DeHon 14 Boolean Equations o= /a*/b*c + /a*b*/c + a*b*/c + a*/b*c Another way to express Boolean functions a b c o 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0
Background image of page 14
Image of page 15
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/04/2010 for the course ESE 534 taught by Professor Andredehon during the Spring '10 term at UPenn.

Page1 / 53

Universality, Gates, and Logic (ppt) - ESE534: Computer...

This preview shows document pages 1 - 15. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online