Метод логического дополнения

Недостатком схемы контроля методом вычисления контрольных разрядов (см. рис. 6.4) является то, что лежащая в её основе идея контроля полностью копирует идею обнаружения ошибок при пе­редаче информации по линии связи.

Рисунок 6.4 - Схема контроля методом вычисления контрольных разрядов

По этой причине значения сигналов g ₁(x), g ₂(x),… g _k(x) однозначно определяются значениями сигналов f ₁(x), f ₂(x),… f _m(x), и схема блока g (x)жестко определе­на и является часто единственной. Так при дублировании блок g (x) аналогичен блоку f (x), а при контроле по паритету реализует вполне определенную функцию g (x) = f ₁(x) f ₂(x) … f _m(x). Отсутствие свободы выбора схемы блока g (x) определяет то, что сложность блока g (x) no сравнению со сложностью блока f (х) относительно велика. Кроме того, задача получения проверяющего теста на вхо­дах тестера при жесткой зависимости между сигналами f (x) и g (x) трудно решается, а в некоторых случаях в рамках метода вычисле­ния контрольных разрядов не имеет решения.

Рисунок 6.5 - Схема контроля методом логического дополнения

Указанные недостатки и значительной мере устраняются в схе­ме контроля методом логического дополнения (см. рис. 6.5). В этом случае число разрядов контролируемого тестером кода с обнару­жением ошибок равно числу выходов основного блока f (x). По­этому в структуре логического дополнения контролируется более простой код, имеющий т разрядов, чем в структуре с вычислением контрольных разрядов (m + k разрядов). Это упрощает задачу по­строения самопроверяемого тестера. Последний имеет меньше вхо­дов и меньшую сложность. Это важно для схем с большим числом выходов, для которых сложность тестера может составить значи­тельную долго от сложности исходной схемы.

Ценным качеством структуры логического дополнения являет­ся то, что блок g (x) может иметь достаточно большое число вари­антов построения. Каждая функция g _i(x) не определяется однозначно значениями функций f ₁(x), f ₂(x),… f _m(x), поскольку вектор < f ₁ f ₂ … f _m > может быть преобразован в любой кодовый вектор <h ₁ h₂...h_m >. При одном и том же сочетании значений функций f ₁(x), f ₂(x),… f _m(x) функция g (х)может принимать разные значения. Это позволяет при построении структуры (см. рис. 6.5) осуще­ствлять выбор среди различных вариантов блока g (x)с наименьшей сложностью. Кроме того, путём подбора функций g ₁(x) ,g ₂(x) ….g _m(x) имеется возможность обеспечить поступление на входы тестера и элементов М2 всех наборов, составляющих проверяющий тест. Поэтому метод логического дополнения позволяет строить пол­ностью самопроверяемые структуры контроля комбинационных схем и в тех случаях, когда это невозможно методом вычисления контрольных разрядов.

При построении структуры логического дополнения целесооб­разно выбирать в качестве контролируемого кода такой код, для которого существует простой тестер, требующий для своей про­верки небольшого количества входных наборов. К таким отно­сятся рС 1-коды. Эффективным является использование 4С1-кода, так как 1/4-СПТ имеет простую структуру, которая проверяется четырьмя кодовыми словами {0001, 0010, 0100, 1000}.

Когда схема имеет большое число выходов, то возможно исполь­зование соответствующего nС1-кода.