Additionneur et soustracteur modulo m

G_MODULUS est un entier positif inférieur ou égal à 255. Les entrées non signées respectent 0 <= x,y < m. En addition, calculez x+y puis soustrayez m une fois si nécessaire. En soustraction, utilisez x-y si x>=y, sinon x+m-y.

Le circuit est combinatoire. i_sub='0' sélectionne l'addition et i_sub='1' la soustraction. o_result est non signé sur 8 bits et reste toujours inférieur à m lorsque les préconditions sont respectées.

Le testbench fixe m=251 et vérifie la réduction de somme, le retour de différence, les valeurs maximales et zéro.