Analysis of Sequential Systems - Latches and Flip Flops
This chapter provides an introduction to clocks, synchronous systems, and the analysis of sequential systems using state tables, diagrams, latches, and flip flops.
Analysis of Sequential Systems - Latches and Flip Flops
E N D
Presentation Transcript
Chapter 6 Analysis of Sequential Systems
Chapter 6 Analysis of Sequential Systems 6.0 Introduction • Clocked System • Clock • A signal that alternates between 0 and 1 at a regular rate • Two versions of clock • Type A : 0 half and 1 half • Type B : 1 is shorter part of the cycle P. 277
Chapter 6 Analysis of Sequential Systems 6.0 Introduction • Synchronous System • Change occurs on the transition of the clock signal • Conceptual view of a synchronous sequential system • n inputs(x’s), clock, k outputs(z’s), m binary storage devices(q’s) P. 278
Chapter 6 Analysis of Sequential Systems 6.1 State Tables and Diagrams • CE6 • A system with one input x and one output z such that z = 1 iff x has been 1 for at least three consecutive clock times. • State • The last three inputs store in memory • Timing Trace • A Set of values for the input and the output at consecutive clock times P. 279
Chapter 6 Analysis of Sequential Systems 6.1 State Tables and Diagrams • CE6 • Moore Model • The output depends only on the state of the system. • The output occurs after the desired input pattern has occurred. • Named after E. F. Moore. • The output for the first input is shown as unknown. • After 3 consecutive inputs are 1, the system output is 1. P. 278
Chapter 6 Analysis of Sequential Systems 6.1 State Tables and Diagrams • Two Tools for Describing Sequential Systems • State Table • It shows the output and the next state for each input combination and each state. • Next state is to be stored in memory after the next clock. • State Diagram(State Graph) • A graphical representation of the behavior of the system. State Table State Diagram P. 280
Chapter 6 Analysis of Sequential Systems 6.1 State Tables and Diagrams • Two Tools for Describing Sequential Systems • Representation • q : present state • q* : next state ( Q , q+, q+) • It will be stored in memory after this clock transition • Output depends on the present state, but not the present input. • State Diagram corresponds to its state table. Trace with State P. 281
Chapter 6 Analysis of Sequential Systems 6.1 State Tables and Diagrams • Mealy Model • The Output depends not only the present state of the machine, but also on the present input. • The state table has as many output columns as the next state portion. • The state diagram is different from the Moore model. State Table State Diagram Trace with State P. 281 - 282
Chapter 6 Analysis of Sequential Systems 6.2 Latches • Latch • Binary storage device composed of two or more gates with feedback. • Simple example • Simplest two NOR gates latch • The output of each gate is connected to the input of the other gate. • Equations for this system • P = ( S + Q )’ • Q = ( R + P )’ P. 282
Chapter 6 Analysis of Sequential Systems 6.2 Latches • Latch • Simple example • Equations for this system • S = 0, R = 0 • P = Q’, Q = P’ • Store 0 (Q = 0 and P = 1) or store 1 (Q = 1 and P = 0) • S is used to indicate ‘set’, store a 1 in the latch • S = 1 , R = 0 • P = (1 + Q)’ = 1’ = 0 • Q = (0 + 0)’ = 0’ = 1 • R is used to indicate ‘reset’, store a 0 in the latch • S = 0 , R = 1 • Q = (1 + P)’ = 1’ = 0 • P = (0 + 0)’ = 0’ = 1
Chapter 6 Analysis of Sequential Systems 6.2 Latches • Latch • Simple example • Equations for this system • S = 1 , R = 1 : not operated • P = (1 + Q)’ = 1’ = 0 • Q = (1 + P)’ = 1’ = 0
Chapter 6 Analysis of Sequential Systems 6.2 Latches • Gated Latch • Gate signal is inactive ( = 0 ) • SG, RG are both 0. Latch remains unchanged. • Gate signal is active ( = 1 ) • Latch stores 0 or 1. P. 283
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • Flip Flop • Clocked binary storage device • Flip Flop stores a 0 or a 1. • Trailing-edge Triggered • Change FF state when the clock goes from 1 to 0. • Leading-edge Triggered • Change FF state when the clock goes from 0 to 1. • Various Types of Flip Flops • D Flip Flop • JK Flip Flop • SR Flip Flop • T Flip Flop
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • The output is just the input delayed until the next active clock transition. • Block Diagram q q D D q’ q’ Clock Clock Trailing-edge Triggered Leading-edge Triggered P. 284
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • Two forms of a truth table • State Diagram P. 284
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • Timing Diagram • Trailing-edge triggered D FF • Result in (b) will be same as (a) (a) (b) P. 285
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • Timing Diagram • Leading-edge triggered D FF P. 286
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • Two Flip Flops P. 286 - 287
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • Preset and Reset P. 287
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • D Flip Flop • Preset and Reset P. 288
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • SR(Set-Reset) Flip Flop • Behavioral Tables • SR Flip Flop State Diagram P. 288
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • SR(Set-Reset) Flip Flop • Behavioral Map • q* = S + R’q • Timing Diagram q* P. 289
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • T(Toggle) Flip Flop • T = 1, TFF changes state (Toggled). • T = 0, TFF state remains same. • Behavioral Table • State Diagram P. 289
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • T(Toggle) Flip Flop • Behavioral Equation • q* = T q • Timing Diagram P. 290
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • JK Flip Flop • Combination of SR and T • J = K = 1, FF changes state. • Behavioral Table • State Diagram P. 290
Chapter 6 Analysis of Sequential Systems 6.3 Flip Flops • JK Flip Flop • Behavioral Equation • q* = Jq’ + K’q • Timing Diagram P. 291
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • D Flip Flop Moore Model(1) • Circuit • Equation • D1 = q1q2’ + xq1’ • D2 = xq1 • z = q2’ P. 292
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • D Flip Flop Moore Model(2) • State Table • Partial State Table Complete State Table • Moore State Diagram P. 293
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Moore Model(1) • Circuit • Equation • JA = x KA = xB’ • JB = Kb = x + A’ • z = A + B P. 293
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Moore Model(2) • State Table • First two entries A* entered • Complete State Table P. 294
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Moore Model(3) • State Table using Equation • q* = Jq’ + K’q • A* = J AA’ + KA ’A = xA’ + (xB’)A = xA’ + x’A + AB • B* = J BB’ + KB ’B = (x + A’)B’ + (x + A’)’B = xB’ + A’B’ + x’AB • State table can be constructed with D flip flops. • These equations give exactly the same results as before. • Trace Table P. 295
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Moore Model(4) • Timing Diagram P. 296
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Moore Model(5) • State Diagram P. 296
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Mealy Model(1) • Circuit • Equations • D1 = xq1 + xq2 • D2 = xq1’q2’ • z = xq1 • q1* = xq1 + xq2 • q2* = xq1’q2’ P. 297
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Mealy Model(2) • State Table • State Diagram P. 297 - 298
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Mealy Model(3) • Mealy Modeling Timing P. 298
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • JK Flip Flop Mealy Model(4) • Timing Diagram P. 299
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • Example 6.1a(1) • Circuit • Moore model • Output z does not depend on the input x • z = q1q2 P. 299
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • Example 6.1a(2) • Equations • J1 = xq2 , K1 = x’ • D2 = x(q1+q2’) • When x = 0, J1 = 0, K1 = 1, and D2 = 0, thus system state is 00 • When x = 1 • J1 = q2 , K1 = 0 , D2 = q1 + q2’ • q1* = xq1’q2 + xq1 = x(q1 + q2) • State Table P. 300
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • Example 6.1a(3) • Timing Diagram P. 300
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • Example 6.1b • z = x’q1q2 • This machine is a Mealy model. • State Diagram P. 299, 301
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • Example 6.2 • Assume initial state is 0000 • J1 = K1 = xq4 • T2 = q1’ • S3 = q2’ , R3 = q2 • D4 = q3 P. 301
Chapter 6 Analysis of Sequential Systems 6.4 Analysis of Sequential Systems • Example 6.2 (cont.) • q1 : changes state only when xq4 = 1 • q2 : changes state only when q1 = 0 • q3* = q2’ • q4* = q3 P. 302