RTL-Simulation: | Updaten | Updaten+1 | STATE |
---|---|---|---|
CLK, … | X, … | F(STATEold, Xold) | |
CLK, X, … | … | F(STATEold, Xold) | |
X, … | CLK, … | F(STATEold, Xnew) |
RTL-Simulation: | Updaten | Updaten+1 | STATE |
---|---|---|---|
CLK, … | X, … | F(STATEold, Xold) | |
CLK, X, … | … | F(STATEold, Xnew) | |
X, … | CLK, … | F(STATEold, Xnew) |
CLK <= not CLK after PERIOD/2 ; | process begin CLK <= not CLK ; wait for PERIOD/2 ; end process ; |
Δm,n ⇒ CLK in update list for Δm+i,1 Δm+i,1 ⇒ CLK update | Δm,n ⇒ CLK update (because of wait …) Δm+i,1 ⇒ Update of signals in update list ⇒ Process execution Δm+i,2 ⇒ CLK update |