Контроль выполнения операции деления по модулю

1.8 Контроль выполнения операции деления по модулю

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

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

При цифровом методе контроля контрольный код числа образуется делением суммы цифр числа на выбранный модуль. В данном варианте возможны два пути получения контрольного кода:

непосредственное деление суммы цифр на модуль;

2) просто суммирование цифр по выбранному модулю.

Самым распространенным методом контроля и диагностики является контроль по модулю, принцип которого основан на том, что остаток от деления на заданное число суммы чисел должен равняться сумме остатков от деления на это же число исходных чисел.

При этом к модулю представляют следующие общие требования:

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

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

Модуль должен быть небольшим, чтобы остатки получались мало разрядными, в противном случае потребуются большие дополнительные затраты оборудования.

2. СИНТЕЗ УПРАВЛЯЮЩЕГО АВТОМАТА

Кодирование микропрограммы

В этом пункте осуществляется переход непосредственно к синтезу микропрограммного автомата по граф схеме алгоритма (ГСА).

Начать следует с синтеза абстрактного автомата, который осуществляется по кодированной ГСА. Кодированная ГСА получается путём пометки каждой вершины в содержательной ГСА.

Чтобы получить отмеченную ГСА для абстрактного автомата Мили, необходимо воспользоваться следующими правилами:

1) Начальная и конечная вершины обозначаются символами а0;

2) Вход каждой вершины следуя за оператором отмечается а1, а2, и т.д.;

3) Каждая операторная вершина отмечается не более одного раза.

В результате получаем алфавит состояний А = { а₁, а₂, ... , а_m}.

Используя эти правила, создаем таблицу для кодированной ГСА(см. Таблицу 2).

Таблица 2 - Кодирование блоков

ОБ и ЛУ	Условные обозначения
СМ:=X, Рг.А:=Y, Сч1:=0, Сч2:=0, Сч3:=0, Рг.K:="1010"	Y1
СМ[40-43]:=СМ[40-43] + Рг.А[16-19] Рг.B[16-19]:=СМ[40-43]	Y2
СМ[20-23]:=СМ[20-23] + Рг.А[0-3] + ''1" [20] СМ[25-28]:=СМ[25-28 ]+ Рг.А[4-7] + ''1" [25] СМ[30-33]:=СМ[30-33] + Рг.А[8-11] + ''1" [30] СМ[35-38]:=СМ[35-38] + Рг.А[12-15] + ''1" [35] СМ[40-43]:=СМ[40-43] + Рг.А[16-19] + ''1" [40]	Y3
Программа Обработки Прерываний	Y4
СМ[20-23]:=СМ[20-23] + Рг.К[0-3]	Y5
СМ[25-28]:=СМ[25-28] + Рг.К[0-3]	Y6
СМ[30-33]:=СМ[30-33] + Рг.К[0-3]	Y7
СМ[35-38]:=СМ[35-38] + Рг.К[0-3]	Y8
СМ[40-43]:=СМ[40-43] + Рг.К[0-3]	Y9
СМ:=L(5)СМ	Y10
Сч.1:="9"	Y11
СМ[20-23]:=СМ[20-23] + Рг.А[0-3] СМ[25-28]:=СМ[25-28 ]+ Рг.А[4-7] СМ[30-33]:=СМ[30-33] + Рг.А[8-11] СМ[35-38]:=СМ[35-38] + Рг.А[12-15] СМ[40-43]:=СМ[40-43] + Рг.А[16-19]	Y12
Сч.3:= 1	Y13
Сч.2:=Сч.2+1 Рг.В[0-3]:=Сч1 Рг.В:=L(4)Рг.В	Y14
Сч.1:=Сч.1-1	Y15
СМ:=L(5)СМ Сч1:=0	Y16
Сч.3:=2	Y17
Сч.1:=Сч.1+1	Y18
Z:=Рг.В	Y19
СМ[40-43]=0000	X1
СМ[22,23]=11	X2
СМ[21,23]=11	X3
СМ[27,28]=11	X4
СМ[26,28]=11	X5
СМ[32,33]=11	X6
СМ[31,23]=11	X7
СМ[37,38]=11	X8
СМ[36,38]=11	X9
СМ[42,43]=11	X10
СМ[41,43]=11	X11
СЧ.3 =0	X12
СЧ.3 =1	X13
СЧ.2 =0	X14

2.2 Переход от начального языка задания автомата

к стандартному заданию

В отмеченной ГСА путем перехода между состояниями аm и аs, называется последовательность следующего вида:

- обозначение вершины, из которой осуществляется переход;

- вершина, в которую осуществляется переход;

- обозначение условия вершины, через которые проходит путь от и , причем (в зависимости от логического условия X_mk).

Иногда возможно и такое что, когда K = 0 (нет ни одной условной вершины), в этом случае путь имеет вид .

Любой граф микропрограммного автомата Мили обычно задается в виде прямой или обратной таблицы переходов.

Выписывая пути перехода для нашей ГСА, составляем таблицу переходов для микропрограммного автомата Мили.