Jamais testé, mais d'après ce que je comprends de la doc, ils sont décrémentés automatiquement par le hardware à chaque cycle d'horloge, et réinitialisés à la dernière valeur écrite après avoir atteint 0. Donc si tu écris 3 dedans par exemple, le compteur va prendre les états successifs 3, 2, 1, 0, 3, 2, 1, 0... (donc une séquence de longueur 3 + 1 = 4, comme c'est expliqué).