Appendix A: Digital Logic. Principles of Computer Architecture. Principles of Computer Architecture by M. Murdocca and V. Heuring

Similar documents
Appendix A: Digital Logic. CPSC 352- Computer Organization

Appendix A: Digital Logic. Principles of Computer Architecture. Principles of Computer Architecture by M. Murdocca and V. Heuring

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

CMSC 313 Lecture 16 Announcement: no office hours today. Good-bye Assembly Language Programming Overview of second half on Digital Logic DigSim Demo

Chapter 2. Review of Digital Systems Design

CMSC 313 Lecture 19 Homework 4 Questions Combinational Logic Components Programmable Logic Arrays Introduction to Circuit Simplification

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

CMSC 313 Lecture 16 Postulates & Theorems of Boolean Algebra Semiconductors CMOS Logic Gates

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

S.Y. Diploma : Sem. III [CO/CM/IF/CD/CW] Digital Techniques

COSC3330 Computer Architecture Lecture 2. Combinational Logic

CMSC 313 Lecture 19 Combinational Logic Components Programmable Logic Arrays Karnaugh Maps

Ch 7. Finite State Machines. VII - Finite State Machines Contemporary Logic Design 1

Vidyalankar S.E. Sem. III [ETRX] Digital Circuits and Design Prelim Question Paper Solution

Sequential vs. Combinational

CMSC 313 Lecture 18 Midterm Exam returned Assign Homework 3 Circuits for Addition Digital Logic Components Programmable Logic Arrays

Digital Electronics Circuits 2017

LOGIC CIRCUITS. Basic Experiment and Design of Electronics. Ho Kyung Kim, Ph.D.

S.Y. Diploma : Sem. III [DE/ED/EI/EJ/EN/ET/EV/EX/IC/IE/IS/IU/MU] Principles of Digital Techniques

Vidyalankar S.E. Sem. III [CMPN] Digital Logic Design and Analysis Prelim Question Paper Solution

Synchronous 4 Bit Counters; Binary, Direct Reset

Electronics. Overview. Introducction to Synthetic Biology

Why digital? Overview. Number Systems. Binary to Decimal conversion

NTE74177 Integrated Circuit TTL 35Mhz Presettable Binary Counter/Latch

NTE74LS181 Integrated Circuit TTL Arithmetic Logic Unit/Function Generator

MAHARASHTRA STATE BOARD OF TECHNICAL EDUCATION (Autonomous) (ISO/IEC Certified) State any two Boolean laws. (Any 2 laws 1 mark each)

ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN. Week 7 Dr. Srinivas Shakkottai Dept. of Electrical and Computer Engineering


Fundamentals of Boolean Algebra

DIGITAL LOGIC CIRCUITS

Digital Circuits. 1. Inputs & Outputs are quantized at two levels. 2. Binary arithmetic, only digits are 0 & 1. Position indicates power of 2.

Digital Electronics Sequential Logic

74LS393 Dual 4-Bit Binary Counter

Chapter 5. Digital systems. 5.1 Boolean algebra Negation, conjunction and disjunction

Sequential Logic. Rab Nawaz Khan Jadoon DCS. Lecturer COMSATS Lahore Pakistan. Department of Computer Science

Lecture A: Logic Design and Gates

Fundamentals of Digital Design

SRC Language Conventions. Class 6: Intro to SRC Simulator Register Transfers and Logic Circuits. SRC Simulator Demo. cond_br.asm.

Sample Test Paper - I

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits

CPE100: Digital Logic Design I

NTE74176 Integrated Circuit TTL 35Mhz Presettable Decade Counter/Latch

Digital Logic: Boolean Algebra and Gates. Textbook Chapter 3

Appendix B. Review of Digital Logic. Baback Izadi Division of Engineering Programs

UNIT 8A Computer Circuitry: Layers of Abstraction. Boolean Logic & Truth Tables

ELCT201: DIGITAL LOGIC DESIGN

Vidyalankar S.E. Sem. III [EXTC] Digital Electronics Prelim Question Paper Solution ABCD ABCD ABCD ABCD ABCD ABCD ABCD ABCD = B

Combinational logic. Possible logic functions of two variables. Minimal set of functions. Cost of different logic functions.

Adders allow computers to add numbers 2-bit ripple-carry adder

ECE/Comp Sci 352 Digital Systems Fundamentals. Charles R. Kime Section 2 Fall Logic and Computer Design Fundamentals

ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN. Week 9 Dr. Srinivas Shakkottai Dept. of Electrical and Computer Engineering

Lecture 7: Logic design. Combinational logic circuits

Department of Electrical & Electronics EE-333 DIGITAL SYSTEMS

Adders, subtractors comparators, multipliers and other ALU elements

Synchronous Sequential Logic

Reg. No. Question Paper Code : B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Second Semester. Computer Science and Engineering

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

Lecture 9: Digital Electronics

Synchronous Sequential Circuit Design. Dr. Ehab A. H. AL-Hialy Page 1

EGR224 F 18 Assignment #4

CMSC 313 Lecture 18 Midterm Exam returned Assign Homework 3 Circuits for Addition Digital Logic Components Programmable Logic Arrays

LOGIC CIRCUITS. Basic Experiment and Design of Electronics

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

Synchronous Sequential Circuit Design. Digital Computer Design

Gates and Flip-Flops

UNIVERSITY OF BOLTON SCHOOL OF ENGINEERING BENG (HONS) ELECTRICAL & ELECTRONICS ENGINEERING EXAMINATION SEMESTER /2017

74LS195 SN74LS195AD LOW POWER SCHOTTKY

Vidyalankar. S.E. Sem. III [EXTC] Digital System Design. Q.1 Solve following : [20] Q.1(a) Explain the following decimals in gray code form

Boolean Algebra and Digital Logic 2009, University of Colombo School of Computing

Latches. October 13, 2003 Latches 1

The Digital Logic Level

Sequential Logic Circuits

74F193 Up/Down Binary Counter with Separate Up/Down Clocks

L4: Sequential Building Blocks (Flip-flops, Latches and Registers)

2009 Spring CS211 Digital Systems & Lab CHAPTER 2: INTRODUCTION TO LOGIC CIRCUITS

Logic design? Transistor as a switch. Layered design approach. CS/COE1541: Introduction to Computer Architecture. Logic Design Review.

ALU A functional unit

Dept. of ECE, CIT, Gubbi Page 1

Adders, subtractors comparators, multipliers and other ALU elements

ECE 545 Digital System Design with VHDL Lecture 1. Digital Logic Refresher Part A Combinational Logic Building Blocks

Digital Logic & Computer Design CS Professor Dan Moldovan Spring 2010

ELCT201: DIGITAL LOGIC DESIGN

The Design Procedure. Output Equation Determination - Derive output equations from the state table

CSE140: Components and Design Techniques for Digital Systems. Midterm Information. Instructor: Mohsen Imani. Sources: TSR, Katz, Boriello & Vahid

CSC9R6 Computer Design. Practical Digital Logic

EECS Variable Logic Functions

Chapter # 3: Multi-Level Combinational Logic

CPE100: Digital Logic Design I

MAHALAKSHMI ENGINEERING COLLEGE TIRUCHIRAPALLI

Preparation of Examination Questions and Exercises: Solutions

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

S.E. Sem. III [ETRX] Digital Circuit Design. t phl. Fig.: Input and output voltage waveforms to define propagation delay times.

CMPE12 - Notes chapter 1. Digital Logic. (Textbook Chapter 3)

BER KELEY D AV IS IR VINE LOS AN GELES RIVERS IDE SAN D IEGO S AN FRANCISCO

Combinational Logic (mostly review!)

INTEGRATED CIRCUITS. For a complete data sheet, please also download:

Computers also need devices capable of Storing data and information Performing mathematical operations on such data

EECS Components and Design Techniques for Digital Systems. FSMs 9/11/2007

CHAPTER1: Digital Logic Circuits Combination Circuits

L4: Sequential Building Blocks (Flip-flops, Latches and Registers)

Transcription:

- Principles of Computer rchitecture Miles Murdocca and Vincent Heuring 999 M. Murdocca and V. Heuring

-2 Chapter Contents. Introduction.2 Combinational Logic.3 Truth Tables.4 Logic Gates.5 Properties of oolean lgebra.6 The Sum-of-Products Form, and Logic Diagrams.7 The Product-of-Sums Form.8 Positive vs. Negative Logic.9 The Data Sheet. Digital Components. Sequential Logic.2 Design of Finite State Machines.3 Mealy vs. Moore Machines.4 Registers.5 Counters 999 M. Murdocca and V. Heuring

-3 Some Definitions Combinational logic: a digital logic circuit in which logical decisions are made based only on combinations of the inputs. e.g. an adder. Sequential logic: a circuit in which decisions are made based on combinations of the current inputs as well as the past history of inputs. e.g. a memory unit. Finite state machine: a circuit which has an internal state, and whose outputs are functions of both current inputs and its internal state. e.g. a vending machine controller. 999 M. Murdocca and V. Heuring

-4 The Combinational Logic Unit Translates a set of inputs into a set of outputs according to one or more mapping functions. Inputs and outputs for a CLU normally have two distinct (binary) values: high and low, and, and, or 5 V and V for example. The outputs of a CLU are strictly functions of the inputs, and the outputs are updated immediately after the inputs change. set of inputs i i n are presented to the CLU, which produces a set of outputs according to mapping functions f f m. i i i n... Combinational logic unit... f (i, i ) f (i, i 3, i 4 ) f m (i 9, i n ) 999 M. Murdocca and V. Heuring

-5 Truth Table Developed in 854 by George oole. Further developed by Claude Shannon (ell Labs). Outputs are computed for all possible input combinations (how many input combinations are there?) Consider a room with two light switches. How must they work? GND Inputs Output Hot Light Z Z Switch Switch 999 M. Murdocca and V. Heuring

-6 lternate ssignment of Outputs to Switch Settings We can make the assignment of output values to input combinations any way that we want to achieve the desired input-output behavior. Inputs Output Z 999 M. Murdocca and V. Heuring

-7 Truth Tables Showing ll Possible Functions of Two inary Variables Inputs Outputs The more frequently used functions have names: ND, XOR, OR, NOR, XOR, and NND. (lways use upper case spelling.) False ND XOR OR Inputs Outputs NOR XNOR + + NND True 999 M. Murdocca and V. Heuring

-8 Logic Gates and Their Symbols Logic symbols shown for ND, OR, buffer, and NOT oolean functions. F F Note the use of the inversion bubble. F = F = + (e careful about the nose of the gate when drawing ND vs. OR.) ND F OR F F = F = uffer NOT (Inverter) 999 M. Murdocca and V. Heuring

-9 999 M. Murdocca and V. Heuring Logic Gates and their Symbols (cont ) F NND F NOR F = F = + F Exclusive-OR (XOR) F = F Exclusive-NOR (XNOR) F =.

- Variations of Logic Gate Symbols C F = C F = + (a) (b) + + (c) (a) 3 inputs (b) Negated input (c) Complementary outputs 999 M. Murdocca and V. Heuring

VO Output Voltage V - Transistor Operation of Inverter OUTPUT VOLTGE vs. INPUT VOLTGE 4. V CC 3.5 3. V CC = 5 V R L = 4 Ω V CC = +5 V GND = V ase V CC Collector Emitter V in R L V out 2.5 2..5..5.2.4.6.8.2.4.6.8 2 (a) (b) (c) V I Input Voltage V (d) (a) Inverter showing power terminals; (b) transistor symbol; (c) transistor configured as an inverter; (d) inverter transfer function. 999 M. Murdocca and V. Heuring

-2 ssignments of and to Voltages +5 V +5 V Logical Logical 2.4 V.4 V V Forbidden Range Logical 2. V.8 V V Forbidden Range Logical (a) (b) 999 M. Murdocca and V. Heuring

-3 Transistor Operation of Logic Gates V CC (a) NND; (b) NOR V out V CC V V out + V 2 V V 2 (a) (b) 999 M. Murdocca and V. Heuring

-4 Tri-State uffers Outputs can be,, or electrically disconnected. C F ø ø C F ø ø C F = C or F = ø C F = C or F = ø Tri-state buffer Tri-state buffer, inverted control 999 M. Murdocca and V. Heuring

-5 Properties of oolean lgebra Principle of duality: The dual of a oolean function is obtained by replacing ND with OR and OR with ND, s with s, and s with s. Theorems Postulates Relationship Dual Property = ( + C) = + C = = = = + = + + C = ( + ) ( + C) + = + = + = + = Commutative Distributive Identity Complement Zero and one theorems Idempotence ( C) = ( ) C + ( + C) = ( + ) + C ssociative = Involution = + + = DeMorgan s Theorem + C + C = + C ( + ) = ( + )( +C)( +C) = (+)( +C) + = Consensus Theorem bsorption Theorem 999 M. Murdocca and V. Heuring

-6 DeMorgan s Theorem = = + + DeMorgan s theorem: + = + = F = + F = 999 M. Murdocca and V. Heuring

-7 ll-nnd Implementation of OR NND alone implements all other oolean logic gates. + + 999 M. Murdocca and V. Heuring

-8 Sum-of-Products Form: The Majority Function The SOP form for the 3-input majority function is: M = C + C + C + C = m3 + m5 + m6 + m7 = Σ (3, 5, 6, 7). Each of the 2 n terms are called minterms, ranging from to 2 n -. Note relationship between minterm number and boolean value. Minterm Index 2 3 4 5 6 7 C F -side -side balance tips to the left or right depending on whether there are more s or s. 999 M. Murdocca and V. Heuring

-9 ND-OR Implementation of Majority C Gate count is 8, gate input count is 9. C C F C C 999 M. Murdocca and V. Heuring

-2 Notation Used at Circuit Intersections Connection No connection Connection No connection 999 M. Murdocca and V. Heuring

-2 OR-ND Implementation of Majority C + + C + + C F + + C + + C 999 M. Murdocca and V. Heuring

-22 Positive/Negative Logic ssignments Positive logic: logic is represented by high voltage; logic is represented by low voltage. Negative logic: logic is represented by high voltage; logic is represented by low voltage. Gate Logic: Positive vs. Negative Logic Normal Convention: Postive Logic/ctive High Low Voltage = ; High Voltage = lternative Convention sometimes used: Negative Logic/ctive Low F Voltage Truth T able Positive Logic Negative Logic low low high high low high low high F low low low high F F ehavior in terms of Electrical Levels Two lternative Interpretations Positive Logic ND Negative Logic OR Dual Operations 999 M. Murdocca and V. Heuring

-23 Positive/Negative Logic ssignments (Cont ) Voltage Levels Positive Logic Levels Negative Logic Levels low low high high low high low high F low low low high F F Physical ND gate F F = F = + Voltage Levels Positive Logic Levels Negative Logic Levels low low high high low high low high F high high high low F F Physical NND gate F F = F = + 999 M. Murdocca and V. Heuring

-24 ubble Matching Positive logic Positive logic x Positive Negative logic x x Logic Negative logic x Negative Logic (a) (b) Negative logic Negative logic x x ubble mismatch (c) Negative Logic Negative logic Negative logic x x ubble match ubble match (d) Negative Logic 999 M. Murdocca and V. Heuring

-25 SN74 UDRUPLE 2-INPUT POSITIVE-NND GTES description Example Data Sheet These devices contain four independent 2-input NND gates. function table (each gate) INPUTS H L X H X L OUTPUT Y L H H package (top view) Y 2 2 2Y GND 2 3 4 5 6 7 4 3 2 9 8 V CC 4 4 4Y 3 3 3Y 4 kω schematic (each gate).6 kω 3 Ω Y V CC Simplified data sheet for 74 NND gate, adapted from Texas Instruments TTL Databook [Texas Instruments, 988] absolute maximum ratings Supply voltage, VCC 7 V Input voltage: 5.5 V Operating free-air temperature range: C to 7 C Storage temperature range 65 C to 5 C logic diagram (positive logic) 2 2 3 3 4 4 Y = Y 2Y 3Y 4Y recommended operating conditions V CC V IH V IL I OH I OL T Supply voltage High-level input voltage Low-level input voltage High-level output current Low-level output current Operating free-air temperature kω MIN NOM MX GND UNIT 4.75 5 5.25 V 2 V.8 V.4 m 6 m 7 C electrical characteristics over recommended operating free-air temperature range V OH V OL I IH I IL I CCH I CCL V CC = MIN, V IL =.8 V, I OH =.4 m V CC = MIN, V IH = 2 V, I OL = 6 m V CC = MX, V I = 2.4 V V CC = MX, V I =.4 V V CC = MX, V I = V V CC = MX, V I = 4.5 V MIN 2.4 3.4 TYP MX UNIT.2 4 2 V.4 V 4 µ.6 m 8 m 22 m switching characteristics, V CC = 5 V, T = 25 C PRMETER FROM (input) TO (output) TEST CONDITIONS MIN TYP MX UNIT t PLH R 22 ns or Y L = 4 Ω t C L = 5 pf PHL 7 5 ns 999 M. Murdocca and V. Heuring

-26 Digital Components High level digital circuit designs are normally created using collections of logic gates referred to as components, rather than using individual logic gates. Levels of integration (numbers of gates) in an integrated circuit (IC) can roughly be considered as: Small scale integration (SSI): - gates. Medium scale integration (MSI): to gates. Large scale integration (LSI): -, logic gates. Very large scale integration (VLSI):,-upward logic gates. These levels are approximate, but the distinctions are useful in comparing the relative complexity of circuits. 999 M. Murdocca and V. Heuring

Data Inputs -27 Multiplexer D D D 2 D 3 F F D D D 2 D 3 Control Inputs F = D + D + D 2 + D 3 999 M. Murdocca and V. Heuring

-28 ND-OR Implementation of MUX D D D 2 F D 3 999 M. Murdocca and V. Heuring

-29 MUX Implementation of Majority Principle: Use the 3 MUX control inputs to select (one at a time) the 8 data inputs. C M F C 999 M. Murdocca and V. Heuring

-3 4-to- MUX Implements 3-Var Function Principle: Use the and inputs to select a pair of minterms. The value applied to the MUX data input is selected from {,, C, C} to achieve the desired behavior of the minterm pair. C F C C C C F 999 M. Murdocca and V. Heuring

-3 Demultiplexer D F = D F = D F F F 2 F 3 F 2 = D F 3 = D D F F F 2 F 3 999 M. Murdocca and V. Heuring

-32 Gate-Level Implementation of DEMUX F D F F 2 F 3 999 M. Murdocca and V. Heuring

-33 Decoder Enable = Enable = D D Enable D 2 D 3 D D D 2 D 3 D D D 2 D 3 D = D = D 2 = D3 = 999 M. Murdocca and V. Heuring

-34 Gate-Level Implementation of Decoder D D D 2 D 3 Enable 999 M. Murdocca and V. Heuring

-35 Decoder Implementation of Majority Function Note that the enable input is not always present. We use it when discussing decoders for memory. C M 999 M. Murdocca and V. Heuring

-36 Priority Encoder n encoder translates a set of inputs into a binary encoding. Can be thought of as the converse of a decoder. priority encoder imposes an order on the inputs. i has a higher priority than i+ 2 3 F F 2 3 F F F = 3 + 2 F = 2 3 + 999 M. Murdocca and V. Heuring

-37 ND-OR Implementation of Priority Encoder F 2 3 F 999 M. Murdocca and V. Heuring

-38 C Programmable Logic rray OR matrix PL is a customizable ND matrix followed by a customizable OR matrix. lack box view of PL: C PL F F Fuses ND matrix F F 999 M. Murdocca and V. Heuring

-39 C Simplified Representation of PL Implementation of Majority Function C C C C F (Majority) F (Unused) 999 M. Murdocca and V. Heuring

-4 Example: Ripple-Carry ddition Carry In Operand Operand + + + + + + + + Carry Out Sum Carry Operand Example: Operand Sum + 999 M. Murdocca and V. Heuring

-4 Full dder i i C i S i C i+ i i C i+ Full adder S i C i 999 M. Murdocca and V. Heuring

-42 Four-it Ripple-Carry dder Four full adders connected in a ripple-carry chain form a four-bit ripple-carry adder. b 3 a 3 b 2 a 2 b a b a c 3 c 2 c c Full adder Full adder Full adder Full adder c 4 s 3 s 2 s s 999 M. Murdocca and V. Heuring

-43 C in PL Realization of Full dder Sum C out 999 M. Murdocca and V. Heuring

-44 Sequential Logic The combinational logic circuits we have been studying so far have no memory. The outputs always follow the inputs. There is a need for circuits with memory, which behave differently depending upon their previous state. n example is a vending machine, which must remember how many and what kinds of coins have been inserted. The machine should behave according to not only the current coin inserted, but also upon how many and what kinds of coins have been inserted previously. These are referred to as finite state machines, because they can have at most a finite number of states. 999 M. Murdocca and V. Heuring

-45 Classical Model of a Finite State n FSM is composed of a combinational logic unit and delay elements (called flip-flops) in a feedback path, which maintains state information. Inputs Machine i o i k...... Combinational logic unit D... n D n... s Synchronization n signal Delay elements (one per state bit) s... f o f m Outputs State bits 999 M. Murdocca and V. Heuring

-46 NOR Gate with Lumped Delay τ + + Timing ehavior The delay between input and output (which is lumped at the output for the purpose of analysis) is at the basis of the functioning of an important memory element, the flip-flop. τ 999 M. Murdocca and V. Heuring

-47 S-R Flip-Flop The S-R flip-flop is an active high (positive logic) device. t S t R t i+ S S R (disallowed) (disallowed) R τ 2 τ τ 2 τ Timing ehavior 999 M. Murdocca and V. Heuring

-48 NND Implementation of S-R Flip-Flop S S S R R R R S 999 M. Murdocca and V. Heuring

-49 Hazard C C S S R τ Glitch caused by a hazard R τ Timing ehavior It is desirable to be able to turn off the flip-flop so it does not respond to such hazards. 2 τ 999 M. Murdocca and V. Heuring

mplitude -5 Clock Waveform: The Clock Paces the System Time Cycle time = 25ns In a positive logic system, the action happens when the clock is high, or positive. The low part of the clock cycle allows propagation between subcircuits, so their inputs settle at the correct value when the clock next goes high. 999 M. Murdocca and V. Heuring

-5 Scientific Prefixes For computer memory, K = 2 = 24. For everything else, like clock speeds, K =, and likewise for M, G, etc. Prefix bbrev. uantity milli m micro µ nano n pico p 3 6 9 2 Prefix bbrev. uantity Kilo K Mega M Giga G Tera T 3 6 9 2 femto f 5 Peta P 5 atto a 8 Exa E 8 999 M. Murdocca and V. Heuring

-52 Clocked S-R Flip-Flop S S R CLK CLK R τ 2 τ Timing ehavior The clock signal, CLK, enables the S and R inputs to the flip-flop. 999 M. Murdocca and V. Heuring

-53 Clocked D Flip-Flop The clocked D flip-flop, sometimes called a latch, has a potential problem: If D changes while the clock is high, the output will also change. The Master-Slave flip-flop (next slide) addresses this problem. D CLK Circuit D CLK Symbol D C τ 2 τ 2 τ Timing ehavior τ 999 M. Murdocca and V. Heuring

-54 Master-Slave Flip-Flop The rising edge of the clock loads new data into the master, while the slave continues to hold previous data. The falling edge of the clock loads the new master data into the slave. Master Slave D D D M D S CLK CLK C Circuit C S M S Symbol D S τ 3 τ 2 τ 2 τ 2 τ Timing ehavior τ 999 M. Murdocca and V. Heuring

-55 Clocked J-K Flip-Flop The J-K flip-flop eliminates the disallowed S=R= problem of the S-R flip-flop, because enables J while disables K, and vice-versa. However, there is still a problem. If J goes momentarily to and then back to while the flip-flop is active and in the reset state, the flip-flop will catch the. This is referred to as s catching. The J-K Master-Slave flip-flop (next slide) addresses this problem. J J CLK K K Circuit Symbol 999 M. Murdocca and V. Heuring

-56 Master-Slave J-K Flip-Flop J J CLK K K Circuit Symbol 999 M. Murdocca and V. Heuring

-57 Clocked T Flip-Flop The presence of a constant at J and K means that the flip-flop will change its state from to or to each time it is clocked by the T (Toggle) input. J T T K Circuit Symbol 999 M. Murdocca and V. Heuring

-58 Negative Edge-Triggered D Flip-Flop When the clock is high, the two input latches output, so the Main latch remains in its previous state, regardless of changes in D. Stores D R When the clock goes high-to-low, values in the two input latches will affect the state of the Main latch. CLK S Main latch While the clock is low, D cannot affect the Main latch. D Stores D 999 M. Murdocca and V. Heuring

-59 Example: Modulo-4 Counter Counter has a clock input (CLK) and a RESET input. Counter has two output lines, which take on values of,,, and on subsequent clock cycles. Time (t) RESET q 4 3 2 4 3 2 Time (t) 3-bit q Synchronous s Counter D CLK s D s s 999 M. Murdocca and V. Heuring

-6 State Transition Diagram for RESET Output state / q q / / Output state Mod-4 Counter / / / / C / D Output state Output state 999 M. Murdocca and V. Heuring

-6 State Table for Mod-4 Counter Present state Input RESET / / C/ / C D/ / D / / Next state Output 999 M. Murdocca and V. Heuring

-62 State ssignment for Mod-4 Counter Present state (S t ) Input RESET : / / : / / C: / / D: / / 999 M. Murdocca and V. Heuring

-63 Truth Table for Mod-4 Counter RESET r(t) s (t) s (t) s s (t+) q q (t+) s (t+) = r(t)s (t)s (t) + r(t)s (t)s (t) s (t+) = r(t)s (t)s (t) + r(t)s (t)s (t) q (t+) = r(t)s (t)s (t) + r(t)s (t)s (t) q (t+) = r(t)s (t)s (t) + r(t)s (t)s (t) 999 M. Murdocca and V. Heuring

-64 Logic Design for Mod-4 Counter RESET CLK D s q D s q 999 M. Murdocca and V. Heuring

-65 Example: Sequence Detector Example: Design a machine that outputs a when exactly two of the last three inputs are. e.g. input sequence of produces an output sequence of. ssume input is a -bit serial line. Use D flip-flops and 8-to- Multiplexers. Start by constructing a state transition diagram (next slide). 999 M. Murdocca and V. Heuring

-66 Sequence Detector State Transition Diagram / Design a machine that outputs a when exactly two of the last three inputs are. / / / D E / / / / / C / F / / / G / 999 M. Murdocca and V. Heuring

-67 Sequence Detector State Table Present state Input X / C/ D/ E/ C F/ G/ D D/ E/ E F/ G/ F D/ E/ G F/ G/ 999 M. Murdocca and V. Heuring

-68 Sequence Detector State ssignment Input and state at time t Next state and output at time t+ Present state Input X S 2 S S S 2 S S Z S 2 S S Z : / / : / / C: / / D: / / E: / / F: / / G: / / (a) s 2 s s x s 2 d d s d d s d d z d d (b) 999 M. Murdocca and V. Heuring

-69 Sequence Detector Logic Diagram x x x D S 2 x x x x x x x D S x x x x x x x D S x x x Z CLK 999 M. Murdocca and V. Heuring

-7 Example: Vending Machine Controller Example: Design a finite state machine for a vending machine controller that accepts nickels (5 cents each), dimes ( cents each), and quarters (25 cents each). When the value of the money inserted equals or exceeds twenty cents, the machine vends the item and returns change if any, and waits for next transaction. Implement with PL and D flip-flops. 999 M. Murdocca and V. Heuring

-7 Vending Machine State Transition / dime is inserted Diagram / = Dispense/Do not dispense merchandise N/ D/ / = Return/Do not return a nickel in change / = Return/Do not return a dime in change N/ D / D/ 5 5 / / D/ D/ N/ C N/ N = Nickel D = Dime = uarter 999 M. Murdocca and V. Heuring

-72 Vending Machine State Table and State ssignment P.S. Input N D / C/ C/ D/ C D/ / D / / (a) / / / / Input N D x x x x x x P.S. s s s s / z 2 z z : / / / : / / / C: / / / D: / / / (b) 999 M. Murdocca and V. Heuring

-73 PL Vending Machine Controller x x 5 5 PL z 2 z z s s x x (a) s D s D CLK 2 4 ase equivalent 2 3 4 5 6 7 8 9 2 3 4 5 Present state Coin s s x x (b) Dispense Next Return nickel state Return dime s s z 2 z z d d d d d d d d d d d d d d d d d d d d (c) 5 6 8 9 2 3 4 s s z 2 z z 999 M. Murdocca and V. Heuring

-74 Moore Counter Mealy Model: Outputs are functions of Inputs and Present State. Previous FSM designs were Mealy Machines, in which next state was computed from present state and inputs. Moore Model: Outputs are functions of Present State only. z z x 4-to- MUX D S z 4-to- MUX D S z CLK 999 M. Murdocca and V. Heuring

-75 Four-it Register Makes use of tri-state buffers so that multiple registers can gang their outputs to common output lines. D 3 D 2 D D Write (WR) CLK D D D D Enable (EN) WR D 3 D 2 D D 3 2 EN 3 2 999 M. Murdocca and V. Heuring

-76 Left-Right Shift c Register with c Shift left output Shift right input D 3 D 2 D D Shift right input Parallel Read and c Write c CLK Enable (EN) D D D D Shift right output 3 2 Control Function c c No change Shift left Shift right Parallel load Shift right input Shift left output c c D 3 D 2 D D 3 2 Shift right output Shift right input 999 M. Murdocca and V. Heuring

-77 Modulo-8 Counter Note the use of the T flip-flops, implemented as J-K s. They are used to toggle the input of the next flip-flop when its output is. CLK Enable (EN) J K J K J K RESET 2 CLK ENLE RESET MOD(8) COUNTER 2 2 Timing ehavior 999 M. Murdocca and V. Heuring