430 likes | 439 Views
This chapter provides an introduction to clocks, synchronous systems, and the analysis of sequential systems using state tables, diagrams, latches, and flip flops.
E N D
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