Cntr[-1] + 1 WHEN (Cntr[-1] < Div AND Clk) 1 WHEN (Clk) Cntr[-1] OTHERWISE

cntr = 1 AND cntr[-1] <> 1

s[-1]