Q[3:0], U ──► Next State Logic ──► N[3:0]

U=1: count up   (N = Q + 1)
U=0: count down (N = Q - 1)