0 WHEN (Rst) Cntr_in[-1] WHEN (Enable = 0) Cntr_in[-1] + 1 WHEN (p1) Cntr_in[-1] - 1 OTHERWISE

Cntr <= 0

Cntr_B >= Period_B