Умножение на 2 разряда Мт в дополнительных кодах.

Таблица 2.

В табл. 2 приведены преобразования i и i+1 пары М_T .действия, осущестляемые при выполнении, например, алгоритмов А и Г.

(1) (6)

(2) (7)

(3) (8)

(4) (9)

(5) (10)

Если i+1 пара имеет старшую цифру 1, то умножение на эту пару будет соответствовать вычитанию одного или двух множителей.

Рис. 9. Логическая схема формирования сигнала сдвига частичной суммы.

Как было показано выше, при умножении чисел в дополнительных кодах в общем случае необходимо вводить поправку для получения верного произведения. Однако при умножении на два разряда множителя этого выполнять не требуется. Если на умножение приходит отрицательный множитель, то при преобразовании его старшей пары происходит формирование дополнительной пары:

Мт = -10110

[Мт]_доп= 1.0 10 10

[Мт]_доп^п= 01 01 01 10

При умножении на дополнительную пару (01) происходит вычитание одного множителя , а затем он должен быть добавлен в качестве поправки. Таким образом тратится два такта на выполнение взаимноисключающих операций.

Пример:

Мн = + 0101 умножение выполним согласно

M_T = + 1100111 алгоритма Г.

[M_H]_доп = 0.0101

[M_T]_доп = 0.1 10 01 11

Анализ пар М_T можно производить, начиная от старших (при умножении по алгоритмам В и Г) и от младших разрядов (алгоритмы А и Б).

= 10 10 10 01

[-2Mн]_доп = 1.0110 [2Mн]_доп = 0.1010

0.0000 00000000

0.0010 10000000 = 2M_H∙2^-2

0.0010 10000000

1.1111 01100000 = -2M_H∙2^-4

0.0001 11100000

0.0000 00101000 = 2M_H∙2^-6

0.0010 00001000

1.1111 11111011 = -M_H∙2^-8

0.0010 00000011 = [Mн Mт]_доп

Пример:

Mн= - 0101 умножение выполним согласно

Mт = -1100111 алгоритма Б.

[Mн]_доп = 1.1011

[Mт]_доп = 1.0 01 10 01

= 1.0 10 10 01

[2Mн]_доп = 1.0110 [-2Mн]_доп = 0.1010

0.000000 0000

1.111111 1011 = M_H

1.111111 1011

0.000010 1000 = -2M_H ∙ 2²

0.000010 0011

1.110110 0000 = 2M_H ∙ 2⁴

1.111000 0011

0.101000 0000 = -2M_H ∙ 2⁶

0.100000 0011 =M_H M_T