Division SRT

A chaque étape de la division sans restauration, une addition ou une soustraction est réalisée. Un algorithme a été proposé indépendament par Sweeney, Robertson, Tocher pour éviter une ou plusieurs de ces additions dans certains cas.

Dans ce qui suit, les q_i sont les bits du quotient, injectés dans les bits de poids faible de A.

1.

si il y a k 0 dans les bits de poids fort de B, on décale de k-1 positions vers la gauche les registres P,A et B.

2.

pour i de 0 à n-1

(a)

si les trois bits de poids fort de P sont égaux

décaler P,A d'une position à gauche : le bit de poids fort de A est injecté dans le bit de poids faible de P

$q_i \leftarrow0$

sinon

si P < 0

• décaler P,A d'une position vers la gauche : le bit de poids fort de A est injecté dans le bit de poids faible de P
• $q_i \leftarrow\ensuremath{\overline{1}}$
• $P \leftarrow P + B$

sinon

• décaler P,A d'une position vers la gauche : le bit de poids fort de A est injecté dans le bit de poids faible de P
• $q_i \leftarrow1$
• $P \leftarrow P-B$

3.

si P < 0 (le reste final est négatif)

$P \leftarrow P + B$

$A \leftarrow A -1$

4.

décaler le reste de k-1 positions vers la droite

? Tester cet algorithme sur 8/3