34. Построение контролирующего теста с использованием моделирования.
Одной из основных задач при синтезе теста является задача необходимости последовательности проверок, включающей для реальных схем 10-ки и 100 тысяч этих проверок. Построить вручную эту последовательность невозможно, поэтому в большинстве систем используют случайные входные наборы и постоянной их проверкой для цепей контроля. Если входной набор оказался бесполезным, то он отбрасывается и генерируется новый. В наиболее общем виде предложенный подход может быть представлен следующей схемой:
ГПСЧ генерирует псевдослучайное число. Количество разрядов соответствует количеству входных контактов схемы. Данный набор подается на программируемую модель цифр. схемы и вычисляется выходная реакция R(x). Из списка неисправностей выносится в программируемую модель любая из оставшихся в этом списке неисправностей. Осуществляется моделирование схемы на этом же псевдослучайном входном наборе. Выходная реакция его R(x). Данная реакция сравнивается по модулю 2. Если они одинаковы, входной набор не корректен и осуществляется генерация нового псевдослучайного набора. Если же он корректен, то неисправность вычеркивается из списка неисправностей и осуществляется проверка корректности этого набора для всех оставшихся в этом списке неисправностей. Все обнаруженные неисправности вычеркиваются из списка.
В результате работы системы может быть 2 исхода:
Все неисправности найдены и контрольный тест построен.
Осталась группа неисправностей, которую метод найти не смог.
Одним из методов улучшения работоспособности системы является метод, который связан с адаптацией ГСЧ под конфигурацию системы. Обычно датчик псевдослучайных чисел строится на основе сдвиговых регистров.
В регистр записывается первоначальное случайное число. При правильном выборе положения схемы сложения по модулю 2 вероятность появления 1 или 0 в каждом разряде одинакова и равна 0.5. Т.е. подобные генераторы дают в среднем половину бит 0 и половину 1. Однако целесообразно иметь возможность менять положение 1 и 0 либо в каждом разряде, либо в группе. Обычно это делается с применением 2-х сдвиговых регистров.
-
xy
Z8 p=0,25
Z1 p=0,75
00
0
0
01
0
1
10
0
1
11
1
1
Каждый разряд выходного регистра может реализовать множество функций. Наиболее простыми из них является & и V. Одной из важных задач системы технической диагностики является __________ выходных реакций. Для решения подобных задач HP предложила использовать сигнатурный анализатор:
Метод основан на использовании 16-ти разрядного сдвигового регистра. Выходные реакции превращаются в последовательность бит и записываются в этот регистр после подачи всех выходных реакций. В 16-ти разрядном регистре формируется сигнатура в виде 4-х 16-иричных чисел. Нарушение хотя бы 1 бита при записи в регистр приводит к нарушению полученной сигнатуры, что является признаком того, что выходная реакция неправильна.