Le buffer

L'ABSG ne garantit pas la régularité des sorties ce qui peut être dangereux car un observateur peut ainsi obtenir de l'information sur la séquence d'entrée de l'ABSG. Il est donc nécessaire d'utiliser à la suite de l'ABSG un buffer afin d'assurer une sortie régulière. Le buffer est une pile FIFO (First In First Out) de taille égale à 32 bits. Pour chaque séquence de 4 bits en entrée de l'ABSG, le buffer est supposé sortir un bit [#!decim:2005!#]. Lorsque le buffer est plein alors le bit de sortie à cet instant de l'ABSG n'est pas ajouté à la queue du buffer, il est simplement écarté.