Chapter 2 Digital Design and Computer Architecture 2
- Slides: 82
Chapter 2 Digital Design and Computer Architecture, 2 nd Edition David Money Harris and Sarah L. Harris Chapter 2 <1>
Chapter 2 : : Topics • • • Introduction Boolean Equations Boolean Algebra From Logic to Gates Multilevel Combinational Logic X’s and Z’s, Oh My Karnaugh Maps Combinational Building Blocks Timing Chapter 2 <2>
Introduction A logic circuit is composed of: • Inputs • Outputs • Functional specification • Timing specification Chapter 2 <3>
Circuits • Nodes – Inputs: A, B, C – Outputs: Y, Z – Internal: n 1 • Circuit elements – E 1, E 2, E 3 – Each a circuit Chapter 2 <4>
Types of Logic Circuits • Combinational Logic – Memoryless – Outputs determined by current values of inputs • Sequential Logic – Has memory – Outputs determined by previous and current values of inputs Chapter 2 <5>
Rules of Combinational Composition • Every element is combinational • Every node is either an input or connects to exactly one output • The circuit contains no cyclic paths • Example: Chapter 2 <6>
Boolean Equations • Functional specification of outputs in terms of inputs • Example: S = F(A, B, Cin) Cout = F(A, B, Cin) Chapter 2 <7>
Some Definitions • Complement: variable with a bar over it A, B, C • Literal: variable or its complement A, A, B, B, C, C • Implicant: product of literals ABC, AC, BC • Minterm: product that includes all input variables ABC, ABC • Maxterm: sum that includes all input variables (A+B+C), (A+B+C) Chapter 2 <8>
Sum-of-Products (SOP) Form • • • All equations can be written in SOP form Each row has a minterm A minterm is a product (AND) of literals Each minterm is TRUE for that row (and only that row) Form function by ORing minterms where the output is TRUE Thus, a sum (OR) of products (AND terms) Y = F(A, B) = Chapter 2 <9>
Sum-of-Products (SOP) Form • • • All equations can be written in SOP form Each row has a minterm A minterm is a product (AND) of literals Each minterm is TRUE for that row (and only that row) Form function by ORing minterms where the output is TRUE Thus, a sum (OR) of products (AND terms) Y = F(A, B) = Chapter 2 <10>
Sum-of-Products (SOP) Form • • • All equations can be written in SOP form Each row has a minterm A minterm is a product (AND) of literals Each minterm is TRUE for that row (and only that row) Form function by ORing minterms where the output is TRUE Thus, a sum (OR) of products (AND terms) Y = F(A, B) = AB + AB = Σ(1, 3) Chapter 2 <11>
Product-of-Sums (POS) Form • • • All Boolean equations can be written in POS form Each row has a maxterm A maxterm is a sum (OR) of literals Each maxterm is FALSE for that row (and only that row) Form function by ANDing the maxterms for which the output is FALSE • Thus, a product (AND) of sums (OR terms) Y = F(A, B) = (A + B) = Π(0, 2) Chapter 2 <12>
Boolean Equations Example • You are going to the cafeteria for lunch – You won’t eat lunch (E) – If it’s not open (O) or – If they only serve corndogs (C) • Write a truth table for determining if you will eat lunch (E). Chapter 2 <13>
Boolean Equations Example • You are going to the cafeteria for lunch – You won’t eat lunch (E) – If it’s not open (O) or – If they only serve corndogs (C) • Write a truth table for determining if you will eat lunch (E). Chapter 2 <14>
SOP & POS Form • SOP – sum-of-products • POS – product-of-sums Chapter 2 <15>
SOP & POS Form • SOP – sum-of-products Y = OC = Σ(2) • POS – product-of-sums Y = (O + C)(O + C) = Π(0, 1, 3) Chapter 2 <16>
Boolean Algebra • Axioms and theorems to simplify Boolean equations • Like regular algebra, but simpler: variables have only two values (1 or 0) • Duality in axioms and theorems: – ANDs and ORs, 0’s and 1’s interchanged Chapter 2 <17>
Boolean Axioms Chapter 2 <18>
T 1: Identity Theorem • B 1=B • B+0=B Chapter 2 <19>
T 1: Identity Theorem • B 1=B • B+0=B Chapter 2 <20>
T 2: Null Element Theorem • B 0=0 • B+1=1 Chapter 2 <21>
T 2: Null Element Theorem • B 0=0 • B+1=1 Chapter 2 <22>
T 3: Idempotency Theorem • B B=B • B+B=B Chapter 2 <23>
T 3: Idempotency Theorem • B B=B • B+B=B Chapter 2 <24>
T 4: Identity Theorem • B=B Chapter 2 <25>
T 4: Identity Theorem • B=B Chapter 2 <26>
T 5: Complement Theorem • B B=0 • B+B=1 Chapter 2 <27>
T 5: Complement Theorem • B B=0 • B+B=1 Chapter 2 <28>
Boolean Theorems Summary Chapter 2 <29>
Boolean Theorems of Several Vars Chapter 2 <30>
Simplifying Boolean Equations Example 1: • Y = AB + AB Chapter 2 <31>
Simplifying Boolean Equations Example 1: • Y = AB + AB = B(A + A) = B(1) =B T 8 T 5’ T 1 Chapter 2 <32>
Simplifying Boolean Equations Example 2: • Y = A(AB + ABC) Chapter 2 <33>
Simplifying Boolean Equations Example 2: • Y = A(AB + ABC) = A(AB(1 + C)) = A(AB(1)) = A(AB) = (AA)B = AB T 8 T 2’ T 1 T 7 T 3 Chapter 2 <34>
De. Morgan’s Theorem • Y = AB = A + B • Y=A+B=A B Chapter 2 <35>
Bubble Pushing • Backward: – Body changes – Adds bubbles to inputs • Forward: – Body changes – Adds bubble to output Chapter 2 <36>
Bubble Pushing • What is the Boolean expression for this circuit? Chapter 2 <37>
Bubble Pushing • What is the Boolean expression for this circuit? Y = AB + CD Chapter 2 <38>
Bubble Pushing Rules • Begin at output, then work toward inputs • Push bubbles on final output back • Draw gates in a form so bubbles cancel Chapter 2 <39>
Bubble Pushing Example Chapter 2 <40>
Bubble Pushing Example Chapter 2 <41>
Bubble Pushing Example Chapter 2 <42>
Bubble Pushing Example Chapter 2 <43>
From Logic to Gates • Two-level logic: ANDs followed by ORs • Example: Y = ABC + ABC Chapter 2 <44>
Circuit Schematics Rules • • Inputs on the left (or top) Outputs on right (or bottom) Gates flow from left to right Straight wires are best Chapter 2 <45>
Circuit Schematic Rules (cont. ) • Wires always connect at a T junction • A dot where wires cross indicates a connection between the wires • Wires crossing without a dot make no connection Chapter 2 <46>
Multiple-Output Circuits • Example: Priority Circuit Output asserted corresponding to most significant TRUE input Chapter 2 <47>
Multiple-Output Circuits • Example: Priority Circuit Output asserted corresponding to most significant TRUE input Chapter 2 <48>
Priority Circuit Hardware Chapter 2 <49>
Don’t Cares Chapter 2 <50>
Contention: X • Contention: circuit tries to drive output to 1 and 0 – – Actual value somewhere in between Could be 0, 1, or in forbidden zone Might change with voltage, temperature, time, noise Often causes excessive power dissipation • Warnings: – Contention usually indicates a bug. – X is used for “don’t care” and contention - look at the context to tell them apart Chapter 2 <51>
Floating: Z • Floating, high impedance, open, high Z • Floating output might be 0, 1, or somewhere in between – A voltmeter won’t indicate whether a node is floating Tristate Buffer Chapter 2 <52>
Tristate Busses • Floating nodes are used in tristate busses – Many different drivers – Exactly one is active at once Chapter 2 <53>
Karnaugh Maps (K-Maps) • Boolean expressions can be minimized by combining terms • K-maps minimize equations graphically • PA + PA = P Chapter 2 <54>
K-Map • Circle 1’s in adjacent squares • In Boolean expression, include only literals whose true and complement form are not in the circle Y = AB Chapter 2 <55>
3 -Input K-Map Chapter 2 <56>
3 -Input K-Map Y = AB + BC Chapter 2 <57>
K-Map Definitions • Complement: variable with a bar over it A, B, C • Literal: variable or its complement A, A, B, B, C, C • Implicant: product of literals ABC, AC, BC • Prime implicant: implicant corresponding to the largest circle in a K-map Chapter 2 <58>
K-Map Rules • Every 1 must be circled at least once • Each circle must span a power of 2 (i. e. 1, 2, 4) squares in each direction • Each circle must be as large as possible • A circle may wrap around the edges • A “don't care” (X) is circled only if it helps minimize the equation Chapter 2 <59>
4 -Input K-Map Chapter 2 <60>
4 -Input K-Map Chapter 2 <61>
4 -Input K-Map Chapter 2 <62>
K-Maps with Don’t Cares Chapter 2 <63>
K-Maps with Don’t Cares Chapter 2 <64>
K-Maps with Don’t Cares Chapter 2 <65>
Combinational Building Blocks • Multiplexers • Decoders Chapter 2 <66>
Multiplexer (Mux) • Selects between one of N inputs to connect to output • log 2 N-bit select input – control input • Example: 2: 1 Mux Chapter 2 <67>
Multiplexer Implementations • Logic gates – Sum-of-products form • Tristates – For an N-input mux, use N tristates – Turn on exactly one to select the appropriate input 2 -<68> Chapter 2 <68>
Logic using Multiplexers • Using the mux as a lookup table Chapter 2 <69>
Logic using Multiplexers • Reducing the size of the mux Chapter 2 <70>
Decoders • N inputs, 2 N outputs • One-hot outputs: only one output HIGH at once Chapter 2 <71>
Decoder Implementation Chapter 2 <72>
Logic Using Decoders • OR minterms Chapter 2 <73>
Timing • Delay between input change and output changing • How to build fast circuits? Chapter 2 <74>
Propagation & Contamination Delay • Propagation delay: tpd = max delay from input to output • Contamination delay: tcd = min delay from input to output Chapter 2 <75>
Propagation & Contamination Delay • Delay is caused by – Capacitance and resistance in a circuit – Speed of light limitation • Reasons why tpd and tcd may be different: – Different rising and falling delays – Multiple inputs and outputs, some of which are faster than others – Circuits slow down when hot and speed up when cold Chapter 2 <76>
Critical (Long) & Short Paths Critical (Long) Path: tpd = 2 tpd_AND + tpd_OR Short Path: tcd = tcd_AND Chapter 2 <77>
Glitches • When a single input change causes multiple output changes Chapter 2 <78>
Glitch Example • What happens when A = 0, C = 1, B falls? Chapter 2 <79>
Glitch Example (cont. ) Chapter 2 <80>
Fixing the Glitch Chapter 2 <81>
Why Understand Glitches? • Glitches don’t cause problems because of synchronous design conventions (see Chapter 3) • It’s important to recognize a glitch: in simulations or on oscilloscope • Can’t get rid of all glitches – simultaneous transitions on multiple inputs can also cause glitches Chapter 2 <82>
- Digital design and computer architecture arm edition
- Digital design and computer architecture
- Digital design and computer architecture
- Digital design and computer architecture
- Bubble pushing example
- Digital design and computer architecture arm edition
- Basic computer design
- Digital logic and computer architecture
- Diff between computer organization and architecture
- Bus design in computer architecture
- Memory system design in computer architecture
- 64 bit alu
- Lllqq
- Control unit design
- Basic computer design
- Alu computer architecture
- Digital market and digital goods
- Call and return architecture in software architecture
- Analog and digital signals in computer networking
- Computer organization and architecture 10th solution
- Software engineering virtual lab iit kharagpur
- Introduction to computer organization and architecture
- Timing and control in computer architecture
- Evolution and interpretation of computer architecture
- Computer organization & architecture: themes and variations
- Computer organization and architecture 10th edition
- Linear pipeline
- Mux in computer architecture
- Assembly language computer architecture
- Computer organization and architecture stallings
- Computer organization and architecture definition
- Hazard detection and resolution in computer architecture
- Pipelined datapath
- One's complement
- Computer architecture and organization
- Verb 99 noun 62
- Apa yang dimaksud dengan warga digital?
- Digital data digital signals
- Digital data transmission
- E-commerce: digital markets, digital goods
- Signal encoding schemes
- Rdi board
- Unique features of digital markets
- Craddl
- Digital object architecture
- Dsp algorithms and architecture
- Risc
- Objective of computer system
- What is computer organization
- The large program that controls how the cpu communicates
- Digital systems testing and testable design
- Verilog hdl: a guide to digital design and synthesis pdf
- Control system analysis
- Verilog hdl: a guide to digital design and synthesis
- Software architecture business cycle
- Architecture
- Slot modular architecture examples
- Architecture analysis and design language
- Network analysis architecture and design
- Structural and decorative design examples
- Scale and proportion in architecture
- Security architecture and models
- What are the inputs and outputs of system design
- Skl nomenclature
- Organization of digital computer
- Uses of digital computer
- Is abacus an example of digital computer
- Classification of digital computer
- Classification of digital computers
- Charles babbage
- Vlsi
- Cpu consists of
- Computer society digital library
- Computer architecture 101
- I/o interface in computer architecture
- Fp adder
- Lmc addressing modes
- Chordal ring
- Smt computer architecture
- Pseudo-instructions
- Collision vector in pipelining
- Instruction format in computer architecture
- Nano programmed control unit