Эти приемы используются для уменьшения аппаратных затрат по сравнению с методом дублирования.

1. Формирователи контрольных разрядов при передачи информации:

          Используются   схемы   ИП-5 (9 входов),  ИП-2 (8-входов)

                  
СК - схема контроля.
Fн – функция  нечетности.            
Fч – функция четности.

Формирование 9 - ти  разрядного  байта

Т.к это аппаратная реализация, то действия выполняются по следующему алгоритму:

• задается тип контроля (четность или нечетность);
• под заданный тип контроля выбирается соответствующий выход СК F_ч, F_н.

Пример:

• Тип контроля – чётность (т.е. 9-ти разрядный байт должен содержать чётное число 1);
• Выбираем  Fн

Проверка: 00001111 -> Fн=0

 Схема контроля  передачи информации 9- ти  разрядного  байта

На выходе должно быть четное число 1, если не четное то есть ошибка.
СК1 формирует КР , а  СК2 – контролирует передачу 9-разрядного байта.

Контроль передачи информации для неизбыточных кодов

Контроль арифметических операций

Все арифметические операции можно разделить на три действия:
1) сдвиг;
2) взятие обратного кода;
3) сложение.

СВК для сумматора

Для сумматора  разрядности 8-16 можно использовать два метода:

• дублирование со сравниванием
• с использованием остаточных кодов (Более экономичен).

1)   СВК  сумматора методом дублирования

    2)  СВК  операции “взятие обратного кода”

Fн=0 правильное выполнение операции.
При n - четном, паритет информационной части после взятия обратного кода не изменится , поэтому схема контроля получает инверсный код и неинвертируемый контрольный разряд на вход. Данные системы обнаруживают ошибки нечетной кратности (1,3,5…)

Остаточные коды (ОК)

Остаточные коды используется для контроля акселератора (сопроцессора ) с целью  уменьшения аппаратурных затрат относительно дублирования. Для остаточного кода используются модули 3,9,15 соответственно 2 и 4 разряда для кодов.

Формула получения структуры схем контроля с остаточными кодами:

R(A*B)=R[R(A)+R(B)] —
R- остаток от операции над А и В (*—«*», «+», «-») равняется остатку от операции над остатками входных операндов А и В.

Пример: Формирование остаточного кода для модуля 3.

Правила формирования остаточных кодов:
· остаточный код равен нулю, если операнды равны нулю;
· остаточный код равен модулю (3, 9, 15), если операнды кратны модулю;
· остаточный код равен остатку от деления на модуль, если не выполняются пункты 1,2.

Пример реализации

Модуль равен 3.