Les arrondis IEEE

Soient r le bit d'arrondi, s le bit persistant, et p₀ bit de poid faible du résultat. Le standard IEEE propose 4 approches d'arrondi :

mode d'arrondi	résultat positif ou nul	résultat négatif
au plus près	résultat + (r $\wedge p_0$) $\vee$ (r $\wedge$ s)	résultat + (r $\wedge p_0$) $\vee$ (r $\wedge$ s)
vers - $\infty$	inchangé	résultat + (r $\vee$ s)
vers + $\infty$	résultat + (r $\vee$ s)	inchangé
0	inchangé	inchangé

L'arrondi au plus près, qui est l'approche par défaut, consiste à arrondir à la plus proche valeur représentable.

? En utilisant une mantisse sur 6 bits, calculer la mantisse du résultat de l'opération : $1,01011 \times 1,00101$ en utilisant un arrondi au plus près.