Additionneur-soustracteur non signé 12 bits

Les opérandes x et y sont des entiers non signés de 12 bits.

Comportement

• mode=0: s reçoit les 12 bits de poids faible de x+y; ovf_unf reçoit la retenue de sortie.
• mode=1: s reçoit x-y modulo 4096; ovf_unf vaut 1 si x<y.
• Le résultat doit être purement combinatoire.
• Les opérandes doivent être étendus à 13 bits avant l'opération afin de conserver la retenue ou l'emprunt.