Multiplieur modulaire shift-add

Les entrées respectent 0 <= x,y < m avec m<=255. Initialisez acc=0, addend=x et multiplier=y. À chaque cycle, ajoutez addend à acc si le bit faible du multiplieur vaut 1, puis réduisez par une soustraction de m. Doublez aussi addend, réduisez-le, et décalez le multiplieur à droite.

Effectuez exactement huit étapes après l'acceptation de i_start. Ignorez les nouveaux départs pendant o_busy. Présentez le résultat réduit avec une impulsion o_done d'un cycle. Le reset est synchrone et actif à l'état haut.

Pour m=251, le testbench couvre 200*200 mod 251=91, 250*250 mod 251=1, zéro et l'identité.