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

№	Входной набор				Функция неисправности
0	0	0	0	0	0	0	0	1	0	0	0	1	0	1	0
1	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
2	0	1	0	1	1	1	1	1	1	1	0	1	1	1	0
3	0	1	1	0	0	1	0	0	1	0	0	1	0	0	0
4	1	0	0	1	1	1	1	1	1	0	1	1	0	1	1
5	1	0	1	0	0	0	1	0	1	0	0	0	0	1	0
6	1	1	0	1	1	1	1	1	1	1	1	1	1	1	1
7	1	1	1	1	0	1	1	1	1	1	1	1	0	1	0

П р и м е ч а н и е.   Функции неисправностей , ,   и т.д. соответствуют неисправностям 1, 2, 3 и т.д.

Проверяющая функция для i-ой неисправности

.                                             (4.3)

          По табл. 4.5 получаем (функции записаны в виде дизъюнкций номеров двоичных входных наборов):

;	;	;	;
;	;	;	;
;	;	;

          Проверяющий тест

,                                     (4.4)

где n – число неисправностей.

          В рассматриваемом случае

 =

    (4.5)

.

          Выражение (4.5) означает, что в проверяющий тест входят входные наборы с номерами 0, 2, 3, 4, 5, 7.

          При построении диагностического теста  составляется диагностическое множество неисправностей . С этой целью на схеме для каждого логического элемента наносится граф эквивалентных  неисправностей  (см. рис. 4.13),  после  чего  осуществляется нумерация неисправностей.

Рис.4.13.

Для примера множество  содержит 14 неисправностей. Составляется ТФН, в которую включаются все неисправности из множества  (см. табл. 4.6). Для каждых двух неисправностей с номерами i и j вычисляется различающая функция

.                                        (4.6)

По табл. 4.6 получаем

;

;

 и т.д.

          Диагностические тесты вычисляются по формулам:

;                            (4.7)

.                        (4.8)

          В данном случае . Табл. 4.7 представляет собой словарь неисправностей.

4.3.2. Метод существенных путей

          Недостаток ТФН состоит в ее больших размерах. Это определяется тем, что ТФН описывает схему целиком и увеличение числа элементов схемы пропорционально увеличивает число столбцов таблицы. Для хранения ТФН требуется большой объем памяти ЭВМ и поэтому для больших схем используются методы, в которых анализ схем производится по частям. При этом применяются так называемые «локальные алгоритмы».

          Локальный алгоритм не требует вычисления функций, реализуемых всей схемой или ее подсхемой, а работает только с информацией, характеризующей элементы схемы. При этом сама схема задается структурным способом, а именно, списком элементов, указанием типа элемента и связей элемента с другими элементами (net–list). Алгоритм обрабатывает каждый элемент отдельно (локально) и все элементы последовательно, начиная с элементов первого ранга или уровня, входы которых соединены только со входами схемы, и кончая выходным элементом.