Функциональное диагностирование дискретных систем, страница 8

Для контроля выбирается код с весом . В данном случае k = 2 и поэтому может быть использован 5C2-код. В табл. 6.7 в столбцах  и  для каждого набора входных переменных осуществлено доопределение выходных векторов до векторов 5C2-кода. На рис. 6.19 приведена полная схема контроля.

Рис.6.19. Пример схемы контроля по коду с постоянным весом

 Блок g(x)  вычисляет дополнительные функции  и , заданные табл. 6.7. Вектор  контролируется самопроверяемым тестером для 5C2-кода (2/5 – СПТ).

          В данном случае сложность блока g(x)   L = 6 (31% от сложности основного блока), что меньше сложности блока p(x)   в схеме паритета (см. рис. 6.16).

          В блоке f(x) обнаруживаются все неисправности, которые вызывают на выходах ошибки одного вида. Не обнаруживаются те неисправности (в том числе одиночные), которые приводят к ошибкам разного вида. Например, неисправность вида 1 ® 0 на выходе элемента 2 при поступлении входного набора  = 111  вызывает искажение сигнала на выходе  вида 1 ® 0, а на выходе  – вида 0 ® 1. В результате на входе 2/5 – СПТ вектор 5C2-кода 10001 заменяется вектором 01001 этого же кода и неисправность не фиксируется. Контроль по коду с постоянным весом обеспечивает обнаружение большего числа неисправностей чем метод паритета. В среднем в блоке f(x) фиксируется 95–97% одиночных неисправностей. В дополнительном блоке g(x) также могут быть необнаруживемые неисправности, при которых сохраняется число единиц в векторе на входе тестера.

          Для получения схемы, в которой обнаруживаются в блоке f(x)   все 100% одиночных неисправностей, контроль осуществляется по группам монотонно независимых выходов [4, 47]. Два выхода являются монотонно независимыми, если в схеме нет ни одного такого элемента, который связан с одним из выходов схемы при помощи пути с четным числом инверсий, а с другим выходом – при помощи пути с нечетным числом инверсий. В этом случае неисправность любого элемента может привести к искажениям сигналов на обоих выходах схемы только одного вида. В группе монотонно независимых выходов каждая пара выходов является монотонно независимой. Например, в схеме на рис. 6.20 выходы  образуют группу монотонно независимых выходов, а выход  не является монотонно независимым относительно какого-либо другого выхода.

Рис.6.20. Комбинационная схема

Поэтому для обеспечения 100%-го обнаружения одиночных неисправностей выходы  –  контролируются по постоянному весу, выход  – методом дублирования, а контрольные выходы объединяются так, как это сделано в схеме на рис. 6.18.

          Самопроверяемые w/p-тестеры строятся на основе рассмотрения базовой функции

,              (6.3)

которая образуется объединением знаком дизъюнкции конъюнкций ранга w, соответствующих всем словам (их число равно ) кода pCw. Между конъюнкциями  и словами кода pCw существует взаимнооднозначное соответствие. Конъюнкция содержит в себе те переменные, которым в соответствующем слове кода отвечают разряды, равные единице. Например, для 4C2-кода имеем

.

          Данная функция содержит шесть конъюнкций ранга 2, соответствующих шести словам кода 4C2 (см. табл. 6.1). Слову 1100 соответствует конъюнкция , слову 1010 – конъюнкция  и т.д.