Оглавление

Введение.

СЧЕТ ПЕРЕХОДОВ.

КОДЫ ЦИКЛИЧЕСКОГО ИЗБЫТОЧНОГО КОНТРОЛЯ.

СИГНАТУРНЫЙ АНАЛИЗ.

КАКИЕ ИЗДЕЛИЯ ПРИГОДНЫ ДЛЯ ИСПЫТАНИЯ МЕТОДОМ СИГНАТУРНОГО АНАЛИЗА.

ПРОСТОЙ СИГНАТУРНЫЙ АНАЛИЗАТОР.

Структурная схема простого сигнатурного анализатора.

Секция анализа простого сигнатурного анализатора.

Схема индикации сигнатуры зафиксированной в анализаторе.

Описание элементной базы используемой для создания простого сигнатурного анализатора.

ТЕСТИРОВАНИЕ В РЕЖИМЕ СВОБОДНОГО СЧЕТА С ИСПОЛЬЗОВАНИЕМ СИГНАТУРНОГО АНАЛИЗАТОРА.

Системное ядро. Режим свободного счета.

Использование сигнатурного анализатора в режиме свободного счета.

ТЕСТИРОВАНИЕ ПЗУ В РЕЖИМЕ СВОБОДНОГО СЧЕТА.

ТЕСТ–ЦИКЛЫ СИГНАТУРНОГО АНАЛИЗА.

ВСТРОЕННЫЕ СРЕДСТВА ДЛЯ СИГНАТУРНОГО АНАЛИЗА

ОГРАНИЧЕНИЯ СИГНАТУРНОГО АНАЛИЗАТОРА

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗУЕМОЙ И РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ:

Введение.

Аналоговые схемы проверяются путем подачи известных тест-наборов и контроля каждого узла в тракте распространения сигнала с помощью осциллографа. При обнаружении нестандартного сигнала подозрение падает на ту часть схемы, которая управляет узлом, и именно она исследуется более тщательно. В принципе таким же образом можно проверять и цифровые схемы: подавать известные тест-наборы и контролировать каждый узел в тракте распространения сигнала. Однако цифровые системы радикально отличаются от аналоговых систем не только самой природой сигналов, но и наличием гораздо большего числа сигнальных входов. Если бы цифровой системой можно было управлять таким образом, что на всех ее входах действовал четко определенный тест-набор, то каждый узел можно было бы проверить на фиксированный набор событий. В любом узле при каждом выполнении стимулирующей программы возникает один и тот же набор, и его можно использовать для проверки правильной работы узла. Если измеряемый набор отличается от ожидаемого, следует подозревать наличие отказа между данным узлом и стимулируемыми точками системы. При заданном фиксированном тест-наборе измеряемый набор в любом узле оказывается уникальным, и его можно использовать для контроля по принципу “проходит/не проходит”. Измеряемая реакция узла на известные тест-набор называется “сигнатурой” (т.е. подписью) по аналогии с уникальностью рукописных подписей у людей. Рассмотренный принцип лежит в основе целой области цифрового тестирования, называемой сигнатурным анализом.

Сигнатурный анализ разработан на основе двух применявшихся ранее способов контроля ошибок; первым является способ проверки логических узлов в цифровой системе, называемой счетом переходов, а вторым – способ контроля ошибок, называемый циклическим избыточным контролем. Сигнатурный анализ как бы моделирует первый способ, но действует аналогично второму способу.

Счет переходов.

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

Широко распространенный и простой способ контроля заключается в том, чтобы подсчитать переходы сигнала из одного состояния в другое и использовать полученное число в качестве идентификатора узла. Общее число изменений состояния стимулируемого узла может быть очень большим, поэтому необходим какой-то способ сжатия информации. Обязательным условием счета переходов является определенное “временное окно”, в течении которого подсчитываются переходы в узле. В интервале “временного окна” выполняется тест-программа, которая стимулирует проверяемый узел и по возможности должна быть периодической для удобства воспроизведения и сравнения результатов нескольких измерений. В конкретной системе с определенными “временным окном” и тест-последовательностью результаты нескольких подсчетов переходов должны быть идентичными. Для применения метода счета переходов (СП) как способа поиска неисправностей необходимо измерить и задокументировать числа переходов в каждом узле. При возникновении неисправности исследователь выполняет тест-программы, измеряет числа переходов в подозреваемых узлах и сравнивает их с документированными значениями. Любые расхождения свидетельствуют о наличии неисправности, и с помощью систематической процедуры ее можно локализовать.

Коды циклического избыточного контроля.

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

Если взять 8-битное двоичное слово, его можно рассматривать как коэффициент полинома степени 7. Двоичный набор B₇B₆B₅B₄B₃B₂B₁B₀ есть сокращенное представление двоичного полинома:

B₇*2⁷ + B₆ * 2⁶ + B₅*2⁷ + B₄*2⁴ + B₃*2³ + B₂*2² + B₁*2¹ + B₀*2⁰

Например, двоичное слово 11000001 можно представить в виде:

1*2⁷ + 1 * 2⁶ + 0*2⁷ + 0*2⁴ + 0*2³ + 0*2² + 0*2¹ + 1*2⁰ .

Для простоты обозначим переменную в полиноме вместо конкретного значения 2 символом X. Тогда то же самое слово с фиктивной переменной X принимает вид:

A(X)=1*X⁷+1*X⁶+0*X⁵+0*X⁴+0*X³+0*X²+0*X¹+1*X⁰

Данный полином можно сократить до выражения:

A(X)=X⁷ +X⁶ + X⁰ = X⁷ + X⁶ + 1.

Для понимания принципа циклического избыточного контроля (ЦИК) предположим, что имеются двоичный поток B(X) и порождающий полином G(X). Если разделить полином B(X) на G(X), получится частное Q(X) и остаток R(X):

B(X)=G(X)*Q(X)+R(X).

Прибавляя –R(X) к обеим частям уравнения, получим :

B(X) - R(X) = G(X)*Q(X).

При способе ЦИК передаваемый двоичный поток делится на порождающий полином и получающийся остаток добавляется в передаваемый двоичный поток. В приемнике входной двоичный поток и остаток делятся на тот же самый полином, что и в передатчике, с образованием остатка. В результате деления на приемной стороне линии связи остаток должен быть равным нулю, так как B(X) + R(X) точно делится на G(X). При получении нулевого остатка на приемной стороне обнаруживаемых ошибок при передачи не возникло.

При способе ЦИК наиболее широко применяется 16-битный полином вида:

ЦИК-16 = X¹⁶ + X¹⁵ + X² + 1

Для реализации циклического избыточного контроля применяется 16-битный регистр сдвига, на вход которого подается контролируемый двоичный набор B(X), а из соответствующих разрядов регистра сдвига берутся сигналы обратной связи. Входной сигнал и все сигналы обратной связи суммируются по mod 2 (операция исключающего ИЛИ), в результате чего получается линейная последовательностная схема, так как сумматор по mod 2 придает один и тот же вес каждому входному биту. Полином называется характеристическим полиномом генератора, а фактические точки отводов обратной связи находятся из его инверсии. Инверсное (или обратное ) выражение находится путем вычитания каждого члена в характеристическом полиноме из X¹⁶ в случае кода ЦИК-16, что дает выражение обратной связи X¹⁶ + X¹⁴ + X¹ + 1. Следовательно, в элемент исключающего ИЛИ подаются входной сигнал и отводы от первого, четырнадцатого и шестнадцатого разрядов регистра сдвига (рис. 1).

Рис. 1. Регистр сдвига с линейной обратной связью

Регистр сдвига синхронизируется специальными сигналами, и входной поток данных делится на характеристический полином X¹⁶ + X¹⁵ + X² + 1. По окончании двоичного потока остаток выдвигается из регистра и добавляется к передаваемому потоку данных. Ранее было показано, что остаток вычитается из двоичного потока [B(X) – R(X)], но в арифметике по mod 2 операции сложения и вычитания дают одинаковые результаты, поэтому передача B(X) + R(X) производит то же самое действие.

Порождающий полином ЦИК-16 имеет четное число членов, и представим в виде ЦИК-16 = (X+1)*(X¹⁵ + X + 1). Множитель(X+1) включен намеренно, чтобы все необнаруживаемые ошибки имели четный паритет. Чтобы скрыть ошибку, должно возникнуть четное число ошибочных бит, которые обычно группируются. Однако циклический избыточный контроль всегда обнаруживает однобитные ошибки во входном потоке. Таким образом, коды ЦИК представляют собой способ обнаружения в потоке данных всех однобитных ошибок и высокий процент обнаружения всех многобитных ошибок. В связи с этим они широко применяются в схемах быстродействующих цифровых передач, в которых передаются не отдельные символы, а целые блоки данных.

Сигнатурный анализ.

В циклическом избыточном контроле входной двоичный набор подается в линейную последовательностную схему, которая осуществляет деление двоичного потока на некоторый характеристический полином, и в регистре сдвига образуется остаток от деления. Обычно остаток добавляется к передаваемому двоичному потоку в качестве кода, обнаруживающего ошибки. Если же вместо добавления остатка к двоичному потоку вывести его на индикацию, это значение будет уникальным для входного двоичного набора. Имея запоминающие элементы, схема учитывает все прошлые и текущие события и может обрабатывать очень длинные потоки данных. Уникальный остаток для конкретного входа служит как бы “отпечатками пальцев” этого набора и может использоваться для его идентификации. Зависимость остатка от входного двоичного потока привела к термину “сигнатура” (т.е. подпись). Опираясь на принцип “временного окна” и используя импульсы пуска и останова и сигналы синхронизации от проверяемой системы, в узел логической схемы можно подать периодический набор. Этот набор подается на вход линейной последовательностной схемы, и при восприятии сигнала останова в регистре сдвига окажется “сигнатура” данного узла и конкретного тест-набора. Фактическое значение сигнатуры несущественно, но оно должно быть одним и тем же для данного узла, он стимулируется одним и тем же тест-набором и когда применяется те же самые сигналы пуска, останова и синхронизации.

Для получения наилучших результатов при применении способа регистра сдвига требуется последовательность максимальной длины что приводит к широкому классу схем, называемых генераторами псевдослучайной последовательности. В 16-разрядном регистре сдвига имеется 2048 способов реализации отводов обратной связи, удовлетворяющих данному критерию. В полиноме ЦИК-16 применяется четное число входов, что приводит к группированию ошибок, а при тестировании узлов предпочтителен метод, который максимально распределяет ошибки. По этой же причине отводы не рекомендуется делать через 4 или 8 разрядов, так как они соответствуют наиболее вероятным размерам слов в микропроцессорах. Фирма Hewlett-Packard остановилась на нечетном числе входов, применив неприводимое выражение обратной связи X¹⁶ + X¹² + X ⁹ + X⁷ + 1, которое соответствует характеристическому полиному X¹⁶ + X⁹ + X ⁷ + X⁴ + 1. Напомним, что мы хотим получить прибор широкого назначения для тестирования цифровых систем; имеются и другие характеристические выражения, которые удовлетворяют критерию, но было выбрано именно это.

По существу, получается портативный прибор, содержащий 16-разрядный регистр сдвига с сумматором по mod 2 на входе. С помощью сигналов пуска и останова входной сигнал подается в схему, а сигнал синхронизации от проверяемой системы сдвигает данные в регистре. По окончании интервала измерения осуществляется индикация содержимого регистра как характеристической сигнатуры проверяемого узла.

Входной двоичный поток от проверяемого узла с помощью сигналов пуска и останова подается в регистр, который синхронизируется сигналом от проверяемой системы. После прекращения двоичного потока остаток, находящийся в регистре, выводится на индикаторы в виде четырех 16-ричных символов, которые и представляют собой “сигнатуру” проверяемого узла.

Возможна замена стандартного набора 16-ричных символов. Фирма Hewlett-Packard заменила стандартный набор 16-ричных символов, чтобы избежать путаницы между цифрой 6 и буквой b, и приняла следующие символы:

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