Тестирование ПЛИС с помощью конвейеризированных генераторов контрольных кодов
3
2. Конвейеризированные генераторы контрольных кодов.
Наиболее полно приведенным ранее требованиям удовлетворяют
конвейерные системы, в которых каждая стадия представляет собой
множество логических элементов, реализующих выбранную синте-
зируемую функцию, и регистр для хранения вычисленного значения.
Такие системы хорошо масштабируются путем увеличения количе-
ства стадий конвейера, позволяют не допускать усложнения логиче-
ских функций, реализованных на каждой из ступеней. В качестве
начального значения в такой системе могут быть задействованы зна-
чения на входах ПЛИС. Преимуществом конвейерных систем с по-
вторяющимися функциями является их регулярная структура, что
значительно упрощает работу по размещению логической нагрузки
внутри ПЛИС.
В качестве основной тестовой функции предлагается использо-
вать генераторы контрольных кодов. В роли информационной ча-
сти кода используется входной битовый массив; на выходах тесто-
вой системы устанавливаются контрольные биты, вычисленные
для этого массива. Результатом работы каждой ступени конвейера
является промежуточное значение контрольных битов, вычислен-
ное для
i
битов входного потока, где
i
— номер данной ступени.
Также между стадиями могут передаваться вспомогательные зна-
чения-признаки, которые используются для выполнения следую-
щего шага алгоритма.
Входной битовый массив будем называть
входным потоком
. Бу-
дем разделять понятия эталонного и фактического входных потоков.
Под
эталонным входным потоком
понимается множество двоичных
значений, которые были переданы на входы тестируемой системы
или должны были быть получены в результате корректной работы
внутренних узлов тестируемой подсистемы.
Фактический входной
поток
— множество двоичных значений, принятых устройством или
полученных от внутренних узлов. Конвейеризированный генератор
осуществляет вычисление контрольного кода для фактического
входного потока. Появление сбоев в работе устройства ведет к появ-
лению отличий между эталонным и фактическим входными потока-
ми или искажений в контрольном коде. Совокупность эталонного
входного потока и соответствующих контрольных битов будем назы-
вать
эталонным контрольным кодом
.
Эталонный входной поток может быть представлен константны-
ми или динамически изменяющимися значениями. Константные зна-
чения устанавливаются на входы тестовой системы перед началом
тестирования и не изменяются до его окончания.
Входной поток на основе динамически изменяющихся значений
представляет собой массив из множества входных векторов, при этом
