© LRS - UNI Erlangen-Nuremberg
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