Chapter 9 Asynchronous Sequential Logic 9-1 Introduction Introduction 9-2 Analysis Procedure Analysis ProcedureAnalysis Procedure 9-3 Circuits With Latches.

Slides:



Advertisements
Similar presentations
Chapter 6 -- Introduction to Sequential Devices
Advertisements

1 Fundamentals of Computer Science Sequential Circuits.
CHAPTER 3 Sequential Logic/ Circuits.  Concept of Sequential Logic  Latch and Flip-flops (FFs)  Shift Registers and Application  Counters (Types,
ECE 331 – Digital System Design Latches and Flip-Flops (Lecture #17) The slides included herein were taken from the materials accompanying Fundamentals.
Computer Architecture CS 215
Sequential Circuits1 DIGITAL LOGIC DESIGN by Dr. Fenghui Yao Tennessee State University Department of Computer Science Nashville, TN.
Synchronous Sequential Logic
1 SEQUENTIAL CIRCUITS DEFINITION OF SEQUENTIAL CIRCUIT SYNCHRONOUS SEQUENTIAL CIRCUIT ASYNCHRONOUS SEQUENTIAL CIRCUIT MEMORY ELEMENTS CLASSIFICATION: LATCHES.
Multiplexors Sequential Circuits and Finite State Machines Prof. Sin-Min Lee Department of Computer Science.
Sequential circuits The digital circuits considered thus far have been combinational, where the outputs are entirely dependent on the current inputs. Although.
Module 12.  In Module 9, 10, 11, you have been introduced to examples of combinational logic circuits whereby the outputs are entirely dependent on the.
Asynchronous Sequential Logic
Computing Machinery Chapter 5: Sequential Circuits.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 5 – Sequential Circuits Part 1 – Storage.
EKT 124 / 3 DIGITAL ELEKTRONIC 1
Sequential Circuits A Basic sequential circuit is nothing but a combinational circuit with some feedback paths between its output and input terminals.
1. 2 Logic Circuits Sequential Circuits Combinational Circuits Consists of logic gates whose outputs are determined from the current combination of inputs.
Sequential Circuit Design
The Map Method Boolean expressions may be simplified by algebraic means as discussed in Previous lecture However, this procedure of minimization is awkward.
ECE 331 – Digital System Design State Reduction and State Assignment (Lecture #22) The slides included herein were taken from the materials accompanying.
Asynchronous Sequential Logic
Asynchronous Sequential Circuits. 2 Asynch. vs. Synch.  Asynchronous circuits don’t use clock pulses  State transitions by changes in inputs  Storage.
Asynchronous Machines
Asynchronous Sequential Circuits
CHAPTER 3 Digital Logic Structures
Overview Sequential Circuit Design Specification Formulation
Overview Part 1 - Storage Elements and Sequential Circuit Analysis
Sequential Circuits Chapter 4 S. Dandamudi To be used with S. Dandamudi, “Fundamentals of Computer Organization and Design,” Springer,  S.
Clocked Synchronous State Machine Design
Digital Computer Design Fundamental
Chapter 5 - Part Sequential Circuit Design Design Procedure  Specification  Formulation - Obtain a state diagram or state table  State Assignment.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 5 – Sequential Circuits Part 2 – Sequential.
Sequential Circuits. Combinational Circuits + Storage element output depends both on previous state and input Fig. 5-1.
Unit 5 Synchronous And Asynchronous Sequential Circuits
Synchronous Sequential Logic Chapter 5. Digital Circuits Sequential Circuits Combinational circuits contains no memory elements the outputs depends.
Chap 4. Sequential Circuits
CHAPTER 4 Combinational Logic
D Latch Delay (D) latch:a) logic symbolb) NAND implementationc) NOR implementation.
Charles Kime & Thomas Kaminski © 2008 Pearson Education, Inc. (Hyperlinks are active in View Show mode) Chapter 5 – Sequential Circuits Part 2 – Sequential.
Unit 11 Latches and Flip-Flops Fundamentals of Logic Design By Roth and Kinney.
Counters Dr. Rebhi S. Baraka Logic Design (CSCI 2301) Department of Computer Science Faculty of Information Technology The Islamic University.
Company LOGO DKT 122/3 DIGITAL SYSTEM 1 WEEK #12 LATCHES & FLIP-FLOPS.
CHAPTER 3: PRINCIPLES OF COMBINATIONAL LOGIC
DESIGN OF SEQUENTIAL CIRCUITS by Dr. Amin Danial Asham.
Asynchronous Sequential Circuits aka ‘Feedback sequential circuits’ - Wakerly Chap 7.9.
Synchronous Sequential Logic A digital system has combinational logic as well as sequential logic. The latter includes storage elements. feedback path.
EKT 121 / 4 ELEKTRONIK DIGIT I
5 Chapter Synchronous Sequential Circuits 1. Logic Circuits- Review 2 Logic Circuits Sequential Circuits Combinational Circuits Consists of logic gates.
Chapter 8. Sequential machine. Sequential machine M = ( I, O, S, , ) I : set of input O : set of output S : set of states  (state transition) : I 
Chapter5: Synchronous Sequential Logic – Part 1
ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN Dr. Shi Dept. of Electrical and Computer Engineering.
CS151 Introduction to Digital Design Chapter 5: Sequential Circuits 5-1 : Sequential Circuit Definition 5-2: Latches 1Created by: Ms.Amany AlSaleh.
TOPIC : Introduction to Sequential Circuits UNIT 1: Modeling and Simulation Module 4 : Modeling Sequential Circuits.
©2010 Cengage Learning SLIDES FOR CHAPTER 8 COMBINATIONAL CIRCUIT DESIGN AND SIMULATION USING GATES Click the mouse to move to the next page. Use the ESC.
Mealy and Moore Machines Lecture 8 Overview Moore Machines Mealy Machines Sequential Circuits.
1 Digital Design Debdeep Mukhopadhyay Associate Professor Dept of Computer Science and Engineering NYU Shanghai and IIT Kharagpur.
1 Asynchronous Sequential Logic For most figures:.
CHAPTER 3 Simplification of Boolean Functions
4.
FIGURE 5.1 Block diagram of sequential circuit
CPE/EE 422/522 Advanced Logic Design L02
LECTURE 15 – DIGITAL ELECTRONICS
Asynchronous Sequential Logic
Gates Type AND denoted by X.Y OR denoted by X + Y NOR denoted by X + Y
DESIGN OF SEQUENTIAL CIRCUITS
Synchronous sequential
Synchronous Sequential
Chapter 5 Sequential Circuits.
SEQUENTIAL CIRCUITS __________________________________________________
Chapter5: Synchronous Sequential Logic – Part 3
Presentation transcript:

Chapter 9 Asynchronous Sequential Logic 9-1 Introduction Introduction 9-2 Analysis Procedure Analysis ProcedureAnalysis Procedure 9-3 Circuits With Latches Circuits With LatchesCircuits With Latches 9-4 Design Procedure Design ProcedureDesign Procedure

9-5 Reduction of State and Flow Tables Reduction of State and Flow TablesReduction of State and Flow Tables 9-6 Race-Free State Assignment Race-Free State AssignmentRace-Free State Assignment 9-7 Hazards Hazards 9-8 Design Example Design ExampleDesign Example Chapter 9 Asynchronous Sequential Logic

9-1 Introduction Synchronous Sequential Circuits The change of internal state occurs in response to the synchronized clock pulse. Asynchronous Sequential Circuits The change of internal state occurs when there is a change in the input variables. Memory elements are clocked flip-flops. Memory elements are unclocked flip-flops or time- delay elements.

9-1 Introduction Synchronous Sequential Circuits Timing problems are eliminated by triggering all flip-flops with pulse edge. Asynchronous Sequential Circuits Care must be taken to ensure that each new state is stable even though a feedback path exists. Higher speed More economical

9-1 Introduction Asynchronous Sequential Circuits When an input variable changes in value, the y secondary variables do not change instantaneously.

9-1 Introduction Asynchronous Sequential Circuits In steady-state condition, the y's and the Y's are the same, but during transition they are not.

9-1 Introduction fundamental mode fundamental mode :Only one input variable can change at any one time and the time between two input changes must be longer than the time it takes the circuit to reach a stable state.

9-2 Analysis Procedure Transition Table Y 1 = xy 1 + x'y 2 Y 2 = xy' 1 + x'y 2

9-2 Analysis Procedure Transition Table Y 1 = xy 1 + x'y 2 Y 2 = xy' 1 + x'y 2

9-2 Analysis Procedure Transition Table For a state to be stable, the value of Y must be the same as that of y = y 1 y 2

9-2 Analysis Procedure Transition Table The Unstable states, Y ≠ y

9-2 Analysis Procedure Transition Table Consider the square for x = 0 and y = 00. It is stable. x changes from 0 to 1. The circuit changes the value of Y to 01. The state is unstable. The feedback causes a change in y to 01. The circuit reaches stable.

9-2 Analysis Procedure Transition Table In general, if a change in the input takes the circuit to an unstable state, y will change until it reaches a stable state.

9-2 Analysis Procedure Flow Table Transition table whose states are named by letter symbol instead of binary values. Flow Table

9-2 Analysis Procedure Flow Table It is called primitive flow table because it has only one stable state in each row. It is a flow table with more than one stable state in the same row.

9-2 Analysis Procedure Flow Table

9-2 Analysis Procedure

Race Conditions Two or more binary state variables change value in response to a change in an input variable Noncritical Race: State variables change from 00 to 11. The possible transition could be It is a noncritical race. The final stable state that the circuit reaches does not depend on the order in which the state variables change.

9-2 Analysis Procedure Race Conditions Critical Race: State variables change from 00 to 11. The possible transition could be It is a critical race. The final stable state depends on the order in which the state variables change.

9-2 Analysis Procedure Race Conditions Cycle It starts with y 1 y 2 =00, then input changes from 0 to When a circuit goes through a unique sequence of unstable states, it is said to have a cycle. The sequence is as follows,

9-2 Analysis Procedure Stability Consideration Column 11 has no stable state. With input x 1 x 2 = 11, Y and y are never the same. This will cause instability.

9-3 Circuits with Latches SR Latch The circuit diagram and truth table of the SR latch are shown as follows,

9-3 Circuits with Latches SR Latch The circuit diagram of the SR latch can be redrawn as follows,

9-3 Circuits with Latches SR Latch Y = [(S + y)' + R]' = (S + y)R' = SR' + R'y SR' + SR = S ( R' + R ) = S SR = 0 SR' = S Y = SR' + R'y = S + R'y when SR=0

9-3 Circuits with Latches Analysis Example S 1 = x 1 y 2 S 2 = x 1 x 2 R 1 = x' 1 x' 2 R 2 = x' 2 y 1 S 1 R 1 = x 1 y 2 x' 1 x' 2 = 0 S 2 R 2 = x 1 x 2 x' 2 y 1 = 0

9-3 Circuits with Latches Analysis Example Y 1 = S 1 + R' 1 y 1 = x 1 y 2 + (x 1 + x 2 )y 1 Y 2 = S 2 + R' 2 y 2 = x 1 x 2 + (x 2 + y' 1 )y 2 There is a critical race condition

9-3 Circuits with Latches Latch Excitation Table A table that lists the required inputs S and R for each of the possible transitions from y to Y The first two columns list the four possible transitions from y to Y. The next two columns specify the required input values that will result in the specified transition.

9-3 Circuits with Latches Implementation Example

9-3 Circuits with Latches Implementation Example S = x 1 x' 2 R = x' 1 Circuit with NOR latch Circuit with NAND latch

9-4 Design Procedure Design Example Design a gated latch circuit with two inputs G (gate) and D (data), and one output Q. State InputsOutput comments D GQ abcdefabcdef D =Q because G = 1 After state a or d After state c After state b or f After state e Gated-Latch Total States

9-4 Design Procedure Design Example State InputsOutput D GQ abcdefabcdef

9-4 Design Procedure Reduction of the Primitive Flow Table Two of more rows in the primitive flow table can be merged into one row if there are non-conflicting states and outputs in each of the columns.

9-4 Design Procedure Reduction of the Primitive Flow Table

9-4 Design Procedure Transition Table and Logic Diagram

9-4 Design Procedure Circuit With SR Latch

9-4 Design Procedure Assigning Output to Unstable States 1.Assign a 0 to an output variable associated with an unstable state that is a transient state between two stable states that have a 0 in the corresponding output variable. 2.Assign a 1 to an output variable associated with an unstable state that is a transient state between two stable states that have a 1 in the corresponding output variable. 3.Assign a don't-care condition to an output variable associated with an unstable state that is a transient state between two stable states that have different values in the corresponding output variable.

9-5 Reduction of State and Flow Tables Equivalent States Two states are equivalent if for each possible input, they give exactly the same output and go to the same next states or to equivalent next states. The characteristic of equivalent states is that if (a,b) imply (c,d) and (c,d) imply (a,b), then both pairs of states are equivalent.

9-5 Reduction of State and Flow Tables Implication Table Two states are equivalent if for each possible input, they give exactly the same output and go to the same next states or to equivalent next states. The characteristic of equivalent states is that if (a,b) imply (c,d) and (c,d) imply (a,b), then both pairs of states are equivalent.

Implication Table X1X2X1X2 SnSn A B C D E F G H D/0 F/0A/0 C/1D/0E/1F/0 C/1D/0E/1A/0 D/0B/0A/0F/0 C/1F/0E/1A/0 D/0 A/0F/0 G/0 A/0 B/1D/0E/1A/0 S n+1 /Z n Example ABCDEFG B C D E F G H Without the last   BD AF   DG AF   DF AF   BC AF  DF   BC  BD BG AF  DG AF   BC DF  9-5 Reduction of State and Flow Tables Without the first

ABCDEFG B C D E F G H   BD AF   DG AF   DF AF   BC AF  DF   BC  BD BG AF  DG AF   BC DF  X1X2X1X2 SnSn A B C D E F G H D/0 F/0A/0 C/1D/0E/1F/0 C/1D/0E/1A/0 D/0B/0A/0F/0 C/1F/0E/1A/0 D/0 A/0F/0 G/0 A/0 B/1D/0E/1A/0 S n+1 /Z n example Implied Pairs        9-5 Reduction of State and Flow Tables

ABCDEFG B C D E F G H   BD AF   DG AF   DF AF   BC AF  DF   BC  BD BG AF  DG AF   BC DF        The equivalent states : [A , F] 、 [B , H] 、 [B , C] 、 [C , H] 。 The largest group of equivalent states [A , F], [B , C , H], [D], [E], [G] S n+1 /Z n X1X2X1X2 SnSn A B D E G D/0 A/0 C/1D/0E/1A/0 D/0B/0A/0 B/1A/0E/1A/0 G/0 A/0 Denoted by A Denoted by B Combined into [B,C,H]

9-6 Race-Free State Assignment The primary objective in choosing a proper binary state assignment is the prevention of critical races. Critical races can be avoided by making a binary state assignment in such a way that only one variable changes at any given time when a state transition occurs in the flow table.

9-6 Race-Free State Assignment Three-Row Flow-Table Example This assignment will cause a critical race during the transition from a to c

9-6 Race-Free State Assignment Three-Row Flow-Table Example The transition from a to c must now go through d, thus avoiding a critical race

9-6 Race-Free State Assignment Multiple-Row Method In the multiple-row assignment, each state in the original flow table is replaced by two or more combinations of state variables. Note that a2 is adjacent to d2, c1, b2.

9-6 Race-Free State Assignment Multiple-Row Method The original flow table

9-7 Hazards Hazards are unwanted switching transients that may appear at the output of a circuit because different paths exhibit different propagation delays. Hazards occur in combinational circuits, where they may cause a temporary false-output value. When hazards occur in sequential circuits, it may result in a transition to a wrong stable state.

9-7 Hazards F1F1 F2F2 Hazards in Combinational Circuits

9-7 Hazards Hazards in Combinational Circuits

9-7 Hazards Hazards in Combinational Circuits The hazard exists because the change of input results in a different product term covering the two minterms.

9-7 Hazards Hazards in Combinational Circuits The remedy for eliminating a hazard is to enclose the two minterms in question with another product term that overlap both grouping.

9-7 Hazards Hazards in Combinational Circuits

9-7 Hazards Implementation with SR Latches Consider a NAND SR latch with the following Boolean functions for S and R: S = AB + CD R = A'C S = (AB + CD)' = (AB)' (CD)' R = (A'C)' Since this is a NAND latch, we apply the complemented values to the inputs: Q = (Q'S)' = [Q' (AB)' (CD)' ]'

9-7 Hazards Implementation with SR Latches Q = (Q'S)' = [Q' (AB)' (CD)' ]'

9-8 Design Example The Recommended Procedure 1.State the design specifications 2.Derive a primitive flow table 3.Reduce the flow table by merging the rows 4.Make a race-free binary state assignment 5.Obtain the transition table and output map 6.Obtain the logic diagram using SR latch

9-8 Design Example Design Specifications It is necessary to design a negative-edge- triggered flip-flop. The circuit has two inputs, T (toggle) and C (clock), and one output, Q.

9-8 Design Example Primitive Flow Table State InputsOutput Comments T CQ abcdefghabcdefgh Initial input is 0 After state a Initial input is 1 After state c After state d or f After state e or a After state b or h After state g or c Specification of Total States

9-8 Design Example Primitive Flow Table

9-8 Design Example Merging the Flow Table Implication Table The compatible pairs: ( a, f ) ( b, g ) ( b, h ) ( c, h ) ( d, e ) ( d, f ) ( e, f ) ( g, h )

9-8 Design Example Merging the Flow Table The maximal compatible set: ( a, f ) ( b, g, h ) ( c, h ) ( d, e, f )

9-8 Design Example Merging the Flow Table Reduced flow table

9-8 Design Example State Assignment and Transition Table

9-8 Design Example Logic Diagram

9-8 Design Example Logic Diagram