Операционное устройство. Хлуденев А.В. - 23 стр.

Чтобы исключить возможность неправильной работы микропрограммы из-за
ошибок, необходимо выполнить ее тестирование. Полное тестирование обычно
требует значительных затрат времени. В курсовом проекте достаточно
ограничиться частичным тестированием для нескольких значений операндов,
Но эти значения необходимо подобрать таким образом, чтобы можно было
проверить работу всех ветвей ГСА микропрограммы. С этой целью могут
подойти значения операндов из ранее рассмотренных примеров со всеми
возможными комбинациями значений знаковых разрядов. Тестирование
микропрограммы можно выполнить с помощью отладчика микропрограмм ТА.
В таблице 7 приведены результаты тестирования микропрограммы (рисунок 4).

Таблица 7
№ вар            1                2                3                4
IА     0.0001101        0.0001101        1.0001101        1.0001101
IВ     0.0001011        1.0001011        0.0001011        1.0001011
OS     0.00000010001111 1.00000010001111 1.00000010001111 0.00000010001111

     Анализ полученных результатов позволяет сделать вывод, что
микропрограмма работает правильно для всех четырех вариантов значений
операндов.

    3 Методические             указания       по    синтезу     операционного
автомата
    Функция ОА определяется совокупностью данных:
    - множеством входных слов {IA, IB}, вводимых в автомат как операнды;
    - выходным словом OS, представляющим результат операции умножения;
    - множеством внутренних слов {A, B, S, Ct), используемых для представле-
ния информации в процессе выполнения операци;
    - множеством микроопераций, реализующих преобразование слов инфор-
мации {S := 0, Ct := 4, A := IA, B := IB, B:= R1(S(4).B), S:= R1(0.S), Ct := Ct-1, S
:= S+0.A(1:4), OS := (A(0)^B(4)).S(1:4).B(0:3)};
    - множеством логических условий {B(4), Ct==0}.
    Как и всякая задача структурного синтеза, задача построения ОА имеет
множество решений. Наиболее просто построить ОА как сеть из подавтоматов
(типовых функциональных элементов и узлов), выполняющих подмножество
микроопераций алгоритма. Разобьем множество микроопераций на непересека-
ющиеся подмножества микроопераций, изменяющих значение одного и того же
слова:
    - {A := IA} – загрузка данных;
    - {B := IB, B:= R1(S(4).B)} –загрузка данных и сдвиг;
    - {S := 0, S:= R1(0.S), S := S+0.A(1:4)} – сброс, сдвиг и загрузка данных
    - {Ct := 4, Ct := Ct-1} – загрузка константы и декремент;
    - {OS := (A(0)^B(4)).S(1:4).B(0:3)} – загрузка данных.

23