Sequencer Block – Implementation
17/3/2014
CE-653 - Handshake Templates Implementation
22
}S1req identical to Rreq
}S2req is join of Rreq, S1ack
}Rack is join of S1ack, S2ack
}2 C Elements è 2 FSMs
}where are these FSMs in Sequencer’s specification?
}are they concurrent, or sequential?
Rreq
S1req
S2req
S1ack
C
C
Rack
S2ack
The two FSMs are really one working in series, one generating the S2req output, the other generating the Rack output.

The hidden dependency between them lies in the environment model (handshaking). This can be accounted for, only if the environment FSMs are considered.