Методы контроля механизмов дешифрации и хранения ко­манд с помощью веса перехода

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

Весом перехода W будем называть количество единиц в сумме по модулю двух соседних по ГСА команд. Под соседними будем понимать команды, соединенные на ГСА ребром.

Метод контроля заключается в следующем. В каждой команде в из­быточных разрядах записывается вес перехода по отношению к предыду­щей команде. Для начальной команды определяется вес перехода по отно­шению к нулевой комбинации. При работе программы предыдущая ко­манда K_i складывается по модулю два с последующей командой K_j и вес перехода сравнивается с эталонным весом, записанным в избыточных раз­рядах команды K_j. Если команда K_j была выбрана неправильно или обна­ружен дефект механизма хранения, вес перехода будет отличаться от эта­лонного. Данный метод контроля также предполагает использование диаг­ностических вершин, так как в ГСА имеются разветвления и схождения.

Вершину, в которую входят два или более направленных ребра, на­зовем вершиной схождения, а соответствующую ей команду по ГСА – ко­мандой схождения.

Пример 4.12. Для ГСА (см. рис. 4.30) вершинами схождения будут вершины А₅, А₇ и А₂, которые обведены на преобразованной ГСА (рис. 4.39).

Чтобы иметь возможность записать для вершины схождения эталон­ный вес перехода, необходимо обеспечить одинаковый вес перехода для всех пар команд с вершиной схождения в качестве последующей команды. Для обеспечения одинакового веса перехода у всех пар команд с вершиной схождения в качестве последующей команды вес, присущий максималь­ному количеству числа этих пар, принимается за общий, а в остальные пары вставляются диагностические вершины, подобранные так, чтобы обеспечить паре «диагностическая вершина – вершина схождения» общий вес. Можно ожидать, что подобрать диагностическую вершину для метода контроля по весу перехода будет труднее, чем при раскраске, так как здесь приходится иметь дело с распределением нулей и единиц в исходной ко­манде. В общем случае выбор диагностической вершины зависит от на­бора команд микропроцессора и не всегда возможен.

Рис. 4.39. ГСА, преобразованная для контроля по весу перехода

Пример 4.13. На рис. 4.39 представлена преобразованная схема ГСА (см. рис. 4.30) с введенными диагностическими вершинами. Распределения весов переходов для каждой пары команд приведены ниже:

W₀_₁ – 01011110 = 101

W₁_₂ – 01100011 = 100

W₂_₃ – 11111100 = 110

W₃_₁ – 10001101 = 100

W₂_₅ – 00011001 = 011

W₅_₈ – 10110110 = 101

W₆_₂ – 01101111 = 110

W₂_₄ – 01010010 = 011

W₅_₆ – 01110110 = 101

W₈_₂ – 10101111 = 110

W₄_₅ – 01001011 = 100

W₆_₇ – 10100110 = 100

W₂__k – 10000111 = 100

W₇_₂ – 11001001 = 100

W₃_₇ – 00110101 = 100

W₀ = 101

По рис. 4.39 видно, что для вершины схождения А₅ в обеих парах со­седней будет команда А₄. Для вершины схождения А₇ вес перехода А₃  А₇ равен весу перехода А₆  А₇, так что в эти пары вставлять диагностиче­скую вершину не требуется. Для вершины схождения А₂ вес перехода А₆  А₂ равен весу перехода А₈  А₂, но отличается от веса перехода А₇  А₂, поэтому в пару А₇–А₂ вставляется диагностическая вершина D, которая подбирается так, чтобы вес перехода D  А₂ был также равен 110.

ССВК для метода контроля по весу перехода представлена на рис. 4.40.

S₂

S₁

Рис. 4.40. ССВК для метода контроля по весу перехода

Она работает следующим образом. В регистр команды подаются ос­новные разряды команды. Эти разряды складываются на первом сумма­торе по модулю два с основными разрядами предыдущей команды. Для обработки начальной команды в регистре предыдущей команды преду­смотрен сигнал «сброс», который переводит его в нулевое состояние. Де­шифратор веса определяет вес перехода, который и записывается в регистр веса. Далее на втором сумматоре по модулю два полученный вес сравнива­ется с эталонным, поступающим из регистра эталонного веса, куда запи­сываются избыточные разряды команды. В момент строба результат срав­нения поступает на выход S₂, а содержимое регистра команды переписыва­ется в регистр предыдущей команды.

СВК является самопроверяемой, так как любая одиночная констант­ная неисправность приводит к появлению на выходах S₁S₂ некодового слова {11} {00}, при этом любой выход на рабочих наборах побывает в 0 и 1.

Количество избыточных разрядов

,

t_изб имеет верхней границей

где N – первоначальное количество команд в ГСА; k_S – число вершин схо­ждения; i_S – количество схождений для каждой вершины схождения.

Вероятность обнаружения дефектов механизма дешифрации команд, в предположении о равномерном распределении весов переходов,

.

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

ССВК несколько сложнее, чем при контроле с помощью раскраски, и требует дополнительного введения четырех регистров. Сбои и отказы об­наруживаются в момент проявления. Для восстановления после сбоя дос­таточно вернуться на предыдущую команду.