© LRS - UNI Erlangen-Nuremberg
1.3.2 Clocked Process Simulation (2)
FSM is fed with asynchronous inputs (X); TWO state processes
X can change together with clock edge
Physical world: STATE signal renewed before NEXTSTATE changes
RTL-Simulation:
Update
n
Update
n+1
STATE
CLK, ...
X, ...
F(STATE
old
, X
old
)
CLK, X, ...
...
F(STATE
old
, X
old
)
X, ...
CLK, ...
F(STATE
old
, X
new
)
© LRS - UNI Erlangen-Nuremberg © LRS - UNI Erlangen-Nuremberg
