ESERCIZIO: MOLTIPLICAZIONE

Verso un approccio iterativo

Cerchiamo un invariante di ciclo

p = x * y + z

Ponendo y=Q*B+R e trasformando:

p = (x*B) * Q + (x*R + z) = x’ * y’ + z’

dove si è posto

y’ = Q = y/B, x’ = x*B, z’ = z + x*R

Caso particolare: y=0 _ p = z

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica