Диагностирование логических схем на функциональных элементах, страница 8

Т а б л и ц а   4.6

Т а б л и ц а   4.7

          При помощи локального алгоритма решается частная задача – является ли данный входной набор Х  проверяющим для заданной константной неисправности линии i схемы (неисправность ,  или 1). Путем многократного применения локального алгоритма для каждой неисправности вычисляется проверяющая функция. По множеству проверяющих функций определяются проверяющий и диагностический тесты.

Рассмотрим схему, приведенную на рис. 4.14.

Рис.4.14.

 схема задается следующим списком:

;

;

;

.

.

.

.

          Линии схемы нумеруются. Каждая линия указывается парой элементов, которые она связывает. Например,

линия 1 – ;

линия 10 – ;

линия 19 –  и т.д.

Входы  и выход  рассматриваются как элементы схемы.

          Для описания работы ЛЭ составляются сжатые таблицы истинности, которые представлены на рис. 4.15.