Transcript Sequential Logic Review  The R/S Latch  Illegal states and race conditions  Clocked Latches  Master-Slave Flip-Flop The One’s-Catching Problem  The D Flip-Flop 

Sequential Logic Review
 The R/S Latch
 Illegal states and race conditions
 Clocked Latches
 Master-Slave Flip-Flop
The One’s-Catching Problem
 The D Flip-Flop
 Setup and Hold Constraints
 Finite-State Machine Design
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 1
The R/S Latch
 R=1, S=0 => D=1
R
 R=0, S=1 => D=0
Q
 R=0, S=0 => D unchanged
 R=1, S = 1 =>
Reset
R
S
Q
Q’
Hold Set
S
Reset Hold Set
Hold
Q’
 Race Condition happens when
“HOLD” Condition follows
illegal state
 Outputs oscillate between 0
and 1
 In practice, settles down to
unpredictable state (01 or
10; can’t tell which)
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 2
R/S Latch State Diagram
11
QQ’
00
11
00
00
11
Nondeterminism
leads to race
condition
01 10
QQ’
01
10
QQ’
10
01
01
00
10
00
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 3
Clocked R/S Latch
 Add Clock, two NOR
gates to R/S Latch
When Clock is high, R=S=0
State Held
 S/R only when Clk low
 Key constraint: S’, R’
unchanging when Clk is
low
R’
R
Q
Clk’
S’
 Illegal input still possible
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 4
S
Q’
Clocking Constraint for cascaded latches
 Minimum
propagation delay
through logic must
be greater than
clock period
Otherwise values
race through
latches
R
Q
S
Q’
Logic
Clk
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 5
R
Q
S
Q’
Master-Slave Latch
 Two latches, back-to-back
 Enabled by different clocks
 Key: “Slave” only active when
“Master” inactive
 Can be safely combined
without timing constraints
 Key Problem “1’s Catch”
R
S
R
Q
R
Q
S
Q’
S
Q’
Clk
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 6
1’s Catching Problem
 Clk is high, R=S=0
R
 Glitch: R:010
01 Sets master to
high
10 holds Q (holds 1)
S
R
Q
R
Q
S
Q’
S
Q’
Clk
 Clk goes low,
propagating 1 to
slave!
 Glitch is caught as
value of R/S
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 7
D Flip-Flop
 Three Latches
 Top Latch holds D’
when clock is low
 Bottom latch holds
D when clock is low
 Front latch is
output
 Avoids 1’s catching
problem
 Avoids illegal
states, race
conditions
D’
Q
Clk
Q’
D
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 8
D Flip-Flop
 Clk = 1
D’
 Clk = 0
D’
D
D
0
D’
Q
Clk
Q’
Q
Clk
Q’
0
D
D’
D
D
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 9
D’
Key Feature of D FF
 Input must be stable near clock edge
Tsu: Setup time. Minimum time input stable before clock edge
Th: Hold time. Minimum time input stable after clock edge
Failure to meet constraints means improper operation
Tsu
D
Setup Violation
(1 may be latched
in)
Clk
Th
Clk
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 10
Clocking Constraints
 Tp: propagation delay through FF
 Tperiod: Clock period
 Th: hold time (time input must be stable after clock edge)
 Tsu: setup time (time input must be stable before clock edge)
 Delay for output transition must be greater than hold time
 Th < Tp
 Setup time + propagation delay must be less than clock period
 Tsu + Tp < Tperiod
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 11
Basic Abstraction of Sequential Logic
reg
Logic
for
inputs
Combinational
outputs
Logic
outputs
Logic for
Logic
Next State
reg
for
outputs
outputs
state feedback
Implementation
Abstraction
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 12
Simple Sequential Logic
 Shift Registers
 Counters
Covered extensively last time
Little or no combinational logic
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 13
Finite-State Machines
Logic
for
inputs
Combinational
outputs
Logic for
Next State
outputs
Logic
reg
for
outputs
state feedback
Mealy
(Output Function of
Inputs and States)
outputs
inputs
Combinational
Logic for
Next State
Logic
reg
for
outputs
state feedback
Moore
(Output Function of
States)
Key Distinction: Latch on every
path from input to output
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 14
outputs
Sequential Logic Implementation
 Models for representing sequential circuits
 Abstraction of sequential elements
 Finite state machines and their state diagrams
 Inputs/outputs
 Mealy, Moore, and synchronous Mealy machines
 Finite state machine design procedure
 Verilog specification
 Deriving state diagram
 Deriving state transition table
 Determining next state and output functions
 Implementing combinational logic
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 15
Mealy vs. Moore Machines
 Moore: outputs depend on current state only
 Mealy: outputs depend on current state and inputs
 Ant brain is a Moore Machine
Output does not react immediately to input change
 We could have specified a Mealy FSM
Outputs have immediate reaction to inputs
As inputs change, so does next state, doesn’t commit until
clocking event
L’ R / TL, F
L / TL
A
react right away to leaving the wall
L’ R’ / TR, F
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 16
Specifying Outputs for a Moore Machine
 Output is only function of state
Specify in state bubble in state diagram
Example: sequence detector for 01 or 10
0
1
B/0
D/1
0
reset
0
1
A/0
0
1
1
C/0
1
0
E/1
reset
1
0
0
0
0
0
0
0
0
0
0
input
–
0
1
0
1
0
1
0
1
0
1
current
state
–
A
A
B
B
C
C
D
D
E
E
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 17
next
state
A
B
C
B
D
E
C
E
C
B
D
output
0
0
0
0
0
0
1
1
1
1
Specifying Outputs for a Mealy
Machine
 Output is function of state and inputs
Specify output on transition arc between states
Example: sequence detector for 01 or 10
0/0
B
0/0
reset/0
0/1
A
1/1
1/0
reset
1
0
0
0
0
0
0
input
–
0
1
0
1
0
1
current
state
–
A
A
B
B
C
C
C
1/0
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 18
next
state
A
B
C
B
C
B
C
output
0
0
0
0
1
1
0
Comparison of Mealy and Moore Machines
 Mealy Machines tend to have less states
 Different outputs on arcs (n^2) rather than states (n)
 Moore Machines are safer to use
 Outputs change at clock edge (always one cycle later)
 In Mealy machines, input change can cause output change as soon as
logic is done – a big problem when two machines are interconnected –
asynchronous feedback
 Mealy Machines react faster to inputs
 React in same cycle – don't need to wait for clock
 In Moore machines, more logic may be necessary to decode state
into outputs – more gate delays after
inputs
Combinational
inputs
Logic for
Next State
Logic
reg
for
outputs
state feedback
outputs
Logic
for
Combinational
outputs
logic for
Next State
state feedback
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 19
outputs
reg
Mealy and Moore Examples
 Recognize A,B = 0,1
Mealy or Moore?
A
D
B
clock
Q
out
Q
A
D
Q
Q
B
clock
D
Q
Q
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 20
out
Mealy and Moore Examples (cont’d)
 Recognize A,B = 1,0 then 0,1
Mealy or Moore?
out
A
D
Q
Q
B
D
Q
Q
clock
out
A
D
Q
D
Q
B
D
Q
Q
Q
Q
D
Q
Q
clock
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 21
Registered Mealy Machine (Really Moore)
 Synchronous (or registered) Mealy Machine
Registered state AND outputs
Avoids ‘glitchy’ outputs
Easy to implement in programmable logic
 Moore Machine with no output decoding
Outputs computed on transition to next state rather than
after entering
View outputs as expanded state vector
Inputs
output
logic
next state
logic
Current State
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 22
Outputs
Verilog FSM - Reduce 1s Example
 Change the first 1 to 0 in each string of 1’s
Example Moore machine implementation
zero
[0]
1
0
// State assignment
parameter zero = 0, one1 = 1, two1s = 2;
module reduce (out, clk, reset, in);
output out;
input clk, reset, in;
reg out;
reg [1:0] state;
// state register
reg [1:0] next_state;
0
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 23
0
one1
[0]
1
two1s
[1]
1
Moore Verilog FSM (cont’d)
always @(in or state)
case (state)
zero
[0]
zero: begin // last input was a zero
out = 0;
if (in) next_state = one1;
else
next_state = zero;
end
one1: begin // we've seen one 1
out = 0;
if (in) next_state = two1s;
else
next_state = zero;
end
two1s: begin // we've seen at least 2 ones
out = 1;
if (in) next_state = two1s;
else
next_state = zero;
end
default: begin // in case we reach a bad state
out = 0;
next_state = zero;
endcase
1
0
0
0
one1
[0]
1
1
two1s
[1]
include all signals
that are input to state
and output equations
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 24
Moore Verilog FSM (cont’d)
// Implement the state register
always @(posedge clk)
if (reset) state <= zero;
else
state <= next_state;
zero
[0]
1
endmodule
0
0
one1
[0]
1
two1s
[1]
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 25
0
1
Mealy Verilog FSM for Reduce-1s Example
module reduce (clk, reset, in, out);
input clk, reset, in; output out;
reg out; reg state;
// state register
reg next_state;
parameter zero = 0, one = 1;
always @(in or state)
case (state)
zero: begin
// last input was a zero
if (in) next_state = one;
else
next_state = zero;
out = 0;
end
one:
// we've seen one 1
if (in) begin
next_state = one;
out
= 1;
end
else begin
next_state = zero;
out
= 0;
end
endcase
0/0
zero
0/0
always @(posedge clk)
if (reset) state <= zero;
else
state <= next_state;
endmodule
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 26
1/0
one1
1/1
Synchronous Mealy Verilog FSM for
Reduce-1s Example
module reduce (clk, reset, in, out);
input clk, reset, in; output out;
reg out; reg state;
// state register
reg next_state; reg next_out;
parameter zero = 0, one = 1;
always @(in or state)
case (state)
zero: begin
// last input was a zero
if (in) next_state = one;
else
next_state = zero;
next_out = 0;
end
one:
// we've seen one 1
if (in) begin
next_state = one;
next_out
= 1;
end
else begin
next_state = zero;
next_out
= 0;
end
endcase
0/0
zero
0/0
always @(posedge clk)
if (reset) begin
state <= zero; out <= 0;
end
else begin
state <= next_state; out <= next_out;
end
endmodule
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 27
1/0
one1
1/1
Announcements
 First Midterm, Tuesday, 26 February, 2-3:30 PM, 125
Cory Hall
No calculators or other gadgets are necessary! Don’t bring
them! No blue books! All work on the sheets handed out!
Do bring pencil and eraser please! If you like to unstaple the
exam pages, then bring a stapler with you! Write your name
and student ID on EVERY page in case they get separated -it has happened!
Don’t forget your two-sided 8.5” x 11” crib sheet!
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 28
Announcements
 Examination, Tue, 2-3:30 PM, 125 Cory Hall
 Topics likely to be covered
Combinational logic: design and optimization (K-maps up to and including 6
variables)
Implementation: Simple gates (minimum wires and gates), PLA structures
(minimum unique terms), Muxes, Decoders, ROMs, (Simplified) Xilinx CLB
Sequential logic: R-S latches, flip-flops, transparent vs. edge-triggered
behavior, master/slave concept
Basic Finite State Machines: Representations (state diagrams, transition
tables), Moore vs. Mealy Machines, Shifters, Registers, Counters
Structural and Behavioral Verilog for combinational and sequential logic
Labs 1, 2, 3
K&B: Chapters 1, 2 (2.1-2.5), 3 (3.1, 3.6), 4 (4.1, 4.2, 4.3), 6 (6.1, 6.2.1,
6.3), 7 (7.1, 7.2, 7.3)
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 29
Example: Vending Machine
 Release item after 15 cents are deposited
 Single coin slot for dimes, nickels
 No change
Reset
N
Coin
Sensor
D
Vending
Machine
FSM
Open
Release
Mechanism
Clock
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 30
Example: Vending Machine (cont’d)
 Suitable Abstract Representation
 Tabulate typical input sequences:
Reset
3 nickels
nickel, dime
dime, nickel
two dimes
S0
N
D
 Draw state diagram:
Inputs: N, D, reset
Output: open chute
S1
N
 Assumptions:
Assume N and D asserted
for one cycle
Each state has a self loop
for N = D = 0 (no coin)
S3
S2
D
N
S4
[open]
S5
[open]
N
S7
[open]
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 31
D
S6
[open]
Example: Vending Machine (cont’d)
 Minimize number of states - reuse states whenever possible
present
state
0¢
Reset
0¢
5¢
N
D
5¢
10¢
N
D
10¢
N+D
15¢
[open]
15¢
inputs
D
N
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
–
–
next
state
0¢
5¢
10¢
–
5¢
10¢
15¢
–
10¢
15¢
15¢
–
15¢
symbolic state table
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 32
output
open
0
0
0
–
0
0
0
–
0
0
0
–
1
Example: Vending Machine (cont’d)
 Uniquely Encode States
present state inputs
Q1 Q0
D
N
0 0
0
0
0
1
1
0
1
1
0 1
0
0
0
1
1
0
1
1
1 0
0
0
0
1
1
0
1
1
1 1
–
–
next
D1
0
0
1
–
0
1
1
–
1
1
1
–
1
state
D0
0
1
0
–
1
0
1
–
0
1
1
–
1
output
open
0
0
0
–
0
0
0
–
0
0
0
–
1
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 33
Example: Vending Machine (cont’d)
 Mapping to Logic
Q1
D1
0 0 1 1
0 1 1 1
D
X X X X
1 1 1 1
Q0
Q1
D0
Q1
Open
0 0 1 0
0 1 1 0
1 0 1 1
N
D
X X X X
0 0 1 0
N
0 1 1 1
D
X X X X
N
0 0 1 0
Q0
Q0
D1 = Q1 + D + Q0 N
D0 = Q0’ N + Q0 N’ + Q1 N + Q1 D
OPEN = Q1 Q0
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 34
Example: Vending Machine (cont’d)
 One-hot Encoding
present state
Q3 Q2 Q1 Q0
0 0 0 1
0 0
0 1
1 0
1
0
0
0
0
0
inputs
D N
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1
- -
next state
D3 D2 D1
0 0 0
0 0 1
0 1 0
- - 0 0 1
0 1 0
1 0 0
- - 0 1 0
1 0 0
1 0 0
- - 1 0 0
output
D0 open
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
D0 = Q0 D’ N’
D1 = Q0 N + Q1 D’ N’
D2 = Q0 D + Q1 N + Q2 D’ N’
D3 = Q1 D + Q2 D + Q2 N + Q3
OPEN = Q3
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 35
Equivalent Mealy and Moore State
Diagrams
 Moore machine
 outputs associated with state
N’ D’ + Reset
Reset
0¢
[0]
Mealy machine
outputs associated with transitions
N’ D’
0¢
N
D
5¢
[0]
D
N’ D’
D/0
5¢
N’ D’/0
10¢
N’ D’/0
15¢
Reset’/1
N/0
N’ D’
N+D
15¢
[1]
N’ D’/0
N/0
N
10¢
[0]
(N’ D’ + Reset)/0
Reset/0
D/1
N+D/1
Reset’
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 36
Moore Verilog FSM for Vending Machine
module vending (open, Clk, Reset, N, D);
input Clk, Reset, N, D; output open;
reg open; reg state;
// state register
reg next_state;
parameter zero = 0, five = 1, ten = 2, fifteen = 3;
always @(N or D or state)
case (state)
zero: begin
if (D)
next_state
else if (N) next_state
else
next_state
open = 0;
end
…
fifteen: begin
if (!Reset) next_state
else
next_state
open = 1;
end
endcase
N’ D’ + Reset
Reset
0¢
[0]
N’ D’
N
= five;
= ten;
= zero;
D
5¢
[0]
N’ D’
N
= fifteen;
= zero;
always @(posedge clk)
if (Reset || (!N && !D)) state <= zero;
else
state <= next_state;
endmodule
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 37
D
10¢
[0]
N’ D’
N+D
15¢
[1]
Reset’
Mealy Verilog FSM for Vending Machine
module vending (open, Clk, Reset, N, D);
input Clk, Reset, N, D; output open;
reg open; reg state;
// state register
reg next_state; reg next_open;
parameter zero = 0, five = 1, ten = 2, fifteen = 3;
always @(N or D or state)
case (state)
zero: begin
if (D) begin
next_state = ten; next_open = 0;
end
else if (N) begin
next_state = five; next_open = 0;
end
else begin
next_state = zero; next_open = 0;
end
end
…
endcase
(N’ D’ + Reset)/0
Reset/0
0¢
N’ D’/0
N/0
D/0
5¢
N’ D’/0
10¢
N’ D’/0
15¢
Reset’/1
N/0
D/1
N+D/1
always @(posedge clk)
if (Reset || (!N && !D)) begin state <= zero; open <= 0; end
else begin state <= next_state; open <= next_open; end
endmodule
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 38
Example: Traffic Light Controller
 A busy highway is intersected by a little used farmroad
 Detectors C sense the presence of cars waiting on the farmroad
 with no car on farmroad, light remain green in highway direction
 if vehicle on farmroad, highway lights go from Green to Yellow to Red,
allowing the farmroad lights to become green
 these stay green only as long as a farmroad car is detected but never
longer than a set interval
 when these are met, farm lights transition from Green to Yellow to
Red, allowing highway to return to green
 even if farmroad vehicles are waiting, highway gets at least a set
interval as green
 Assume you have an interval timer that generates:
 a short time pulse (TS) and
 a long time pulse (TL),
 in response to a set (ST) signal.
 TS is to be used for timing yellow lights and TL for green lights
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 39
Example: Traffic Light Controller
(cont’d)
 Highway/farm road intersection
farm road
car sensors
highway
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 40
Example: Traffic Light Controller
(cont’d)
 Tabulation of Inputs and Outputs
inputs
reset
C
TS
TL
description
place FSM in initial state
detect vehicle on the farm road
short time interval expired
long time interval expired
outputs
description
HG, HY, HR assert green/yellow/red highway lights
FG, FY, FR assert green/yellow/red highway lights
ST
start timing a short or long interval
 Tabulation of unique states – some light configurations
imply others
state
S0
S1
S2
S3
description
highway green (farm road red)
highway yellow (farm road red)
farm road green (highway red)
farm road yellow (highway red)
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 41
Example: Traffic Light Controller
(cont’d)
 State Diagram
Reset
(TL•C)'
S0
TS / ST
S0: HG
S1: HY
TL•C / ST
TS'
S1
S3
S2: FG
S3: FY
TS / ST
TL+C' / ST
S2
(TL+C')'
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 42
TS'
Example: Traffic Light Controller
(cont’d)
 Generate state table with symbolic states
 Consider state assignments
Inputs
C
TL
0
–
–
0
1
1
–
–
–
–
1
0
0
–
–
1
–
–
–
–
SA1:
SA2:
SA3:
Present State
TS
–
–
–
0
1
–
–
–
0
1
HG
HG
HG
HY
HY
FG
FG
FG
FY
FY
HG = 00
HG = 00
HG = 0001
Next State
HG
HG
HY
HY
FG
FG
FY
FY
FY
HG
HY = 01
HY = 10
HY = 0010
FG = 11
FG = 01
FG = 0100
output encoding – similar problem
to state assignment
(Green = 00, Yellow = 01, Red = 10)
Outputs
ST H
0
Green
0
Green
1
Green
0
Yellow
1
Yellow
0
Red
1
Red
1
Red
0
Red
1
Red
FY = 10
FY = 11
FY = 1000
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 43
F
Red
Red
Red
Red
Red
Green
Green
Green
Yellow
Yellow
(one-hot)
Traffic Light Controller Verilog
always @(C or TL or TS or state)
case (state)
S0: if (!(TL && C)) begin
next_state = S0; next_ST = 0;
else if (TL || C) begin
next_state = S1; next_ST = 1;
end
…
endcase
Reset
(TL•C)'
module traffic (ST, Clk, Reset, C, TL, TS);
input Clk, Reset, C, TL, TS; output ST;
reg ST; reg state;
reg next_state; reg next_ST;
parameter S0 = 0, S1 = 1, S2 = 2, S3 = 3;
S0
TL•C
TS / ST
TL+C / ST
TS'
S1
S3
TS / ST
always @(posedge Clk)
if (Reset) begin state <= S0; ST <= 0; end
else begin state <= next_state; ST <= next_ST; end
endmodule
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 44
TL+C' / ST
S2
(TL+C')'
TS'
Logic for Different State Assignments
 SA1
 SA2
 SA3
NS1 = C•TL'•PS1•PS0 + TS•PS1'•PS0 + TS•PS1•PS0' + C'•PS1•PS0 + TL•PS1•PS0
NS0 = C•TL•PS1'•PS0' + C•TL'•PS1•PS0 + PS1'•PS0
ST = C•TL•PS1'•PS0' + TS•PS1'•PS0 + TS•PS1•PS0' + C'•PS1•PS0 + TL•PS1•PS0
H1 = PS1
H0 = PS1'•PS0
F1 = PS1'
F0 = PS1•PS0'
NS1 = C•TL•PS1' + TS'•PS1 + C'•PS1'•PS0
NS0 = TS•PS1•PS0' + PS1'•PS0 + TS'•PS1•PS0
ST = C•TL•PS1' + C'•PS1'•PS0 + TS•PS1
H1 = PS0
H0 = PS1•PS0'
F1 = PS0'
F0 = PS1•PS0
NS3 = C'•PS2 + TL•PS2 + TS'•PS3
NS1 = C•TL•PS0 + TS'•PS1
NS2 = TS•PS1 + C•TL'•PS2
NS0 = C'•PS0 + TL'•PS0 + TS•PS3
ST = C•TL•PS0 + TS•PS1 + C'•PS2 + TL•PS2 + TS•PS3
H1 = PS3 + PS2
H0 = PS1
F1 = PS1 + PS0
F0 = PS3
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 45
Sequential Logic Implementation
Summary
 Models for representing sequential circuits
 Abstraction of sequential elements
 Finite state machines and their state diagrams
 Inputs/outputs
 Mealy, Moore, and synchronous Mealy machines
 Finite state machine design procedure
 Verilog specification
 Deriving state diagram
 Deriving state transition table
 Determining next state and output functions
 Implementing combinational logic
CS 150 - Spring 2008 – Lec #7: Sequential Implementation – 49