370 likes | 390 Views
CSCE 211: Digital Logic Design. Chin-Tser Huang huangct@cse.sc.edu University of South Carolina. Chapter 6: Analysis of Sequential Systems. Sequential System. A system that has memory The output will depend not only on the present input but also on the past, on what has happened earlier
E N D
CSCE 211:Digital Logic Design Chin-Tser Huang huangct@cse.sc.edu University of South Carolina
Sequential System • A system that has memory • The output will depend not only on the present input but also on the past, on what has happened earlier • Will focus on clocked systems (also called synchronous)
Clock • A signal that alternates between 0 and 1 at a regular rate • The same clock is normally connected to all flip flops (a clocked binary storage device) • The period of the signal is the length of one cycle; the frequency is the inverse of the period • In most synchronous systems, change occurs on the transition of the clock signal
A Continuing Example 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: what is stored in memory. It is stored in binary devices, but the information to be stored is not always naturally binary. Timing trace: a set of values for the input and output (and sometimes the state or other variables of the system, as well) at consecutive clock times.
State Tables and Diagrams State table: shows for each input combination and each state, what the output is and what the next state is, that is, what is to be stored in memory after the next clock.
State Tables and Diagrams State diagram (or state graph): a graphical representation of the state table. This is an example of Moore model because the output depends only on the state of the system, not the present input.
State Tables and Diagrams Mealy model: the output depends not only on the present state, but also on the present input. 1
Latch • A binary storage device, composed of two or more gates, with feedback P = (S + Q)´ Q = (R + P)´
Gated Latch • When Gate is 0, latch remains unchanged • When Gate goes to 1, it behaves like the simpler latch
Flip Flop • A clocked binary storage device that stores either 0 or 1 • State of flip flop changes on the transition of the clock • Trailing-edge triggered: change takes place when the clock goes from 1 to 0 • Leading-edge triggered: change takes place when the clock goes from 0 to 1
Flip Flop • What is stored after the transition depends on the data inputs and might also depend on what was stored in the flip flop prior to the transition • Flip flops have one or two outputs • State of the flip flop • If there is a second output, it is the complement of the state
D Flip Flop • D means Delay • Output is the input delayed until the next active clock transition • Next state of D flip flop is the value of D (i.e. the input to the D flip flop) before clock transition
Two Flip Flops • Connect the output of one flip flop to the input of another flip flop, and clock them simultaneously • At a clock transition when the first flip flop q changes, the old value of q is used to compute the behavior of r
T Flip Flop • T means Toggle • If input T is 1, the flip flop changes state (i.e. is toggled) • If T is 0, the state remains the same
JK Flip Flop • JK is not an acronym of anything • If J = 0 and K = 0 , the flip flop holds the current state • If J = 0 and K = 1 , the flip flop resets q to 0 • If J = 1 and K = 0 , the flip flop sets q to 1 • If J = 1 and K = 1 , the flip flop changes its state
JK Flip Flop q* = Jq´ + K´q
Analysis Example 1 1 2 D1 = q1 q´2 + x q´1 = q1* D2 = xq1 = q2* z = q´2
Analysis Example 1 D1 = q1 q´2 + x q´1 = q1* D2 = xq1 = q2* z = q´2
Analysis Example 2 JA = x KA = xB´ JB = KB = x + A´ z = A + B
Analysis Example 3 D1 = xq1 + xq2 D2 = xq´1q´2 z = xq1
Analysis Example 4 Is this Moore model or Mealy model? Draw timing diagram for input x = 0 1 1 0 1 1 1 1 0