Компактные оценки и методы тестирования

Для сложных схем имеются очень длинные входные последовательности, следовательно, и длинные выходные последовательности тестов. Поэтому стоит задача оценки результатов не по всей выходной последовательности, а по сжатым данным. Эти сжатые данные носят названия: контрольные суммы, компактные оценки, ключевые слова, сигнатуры, синдромы.

Алгоритм сжатия:

1. метод счета перехода.
   
2. Счет единиц или нулей
   
   Часто определяются синдромы для элементов И-НЕ, ИЛИ-НЕ, а также зависимости синдрома при объединении элементов. Можно определять синдром, как для всей схемы, так и для одной неисправности.
3. Вероятностное тестирование.
   
   На каждый из входов подаются двоичные последовательности с известной вероятности (обычно берут - 0,5). На эталонной схеме в лабораторный условиях. Подсчитывается вероятность 1 на каждом из выходов. Суть тестирования – это отклонение от реальной схемы.
4. Сигнатурный анализ.
   

Циклический код:
L(x)     n
P(x)      m
m<n
Шаги:

1. 
2. Получить результат деления:
   
3. 
   

Шаги:

1. Число разрядов сдвигового регистра равна степени образующего полинома.
2. Кодировка разрядов.
3. Число сумматоров по модулю два выбирается на один меньше, чем число слагаемых.
4. Положение сумматоров должно соответствовать степеням образующего полинома, за исключением самой старшей степени.

Пример:

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

Различаю одноканальные, многоканальные и групповые сигнатурные анализаторы.
ОСА ( одноканальные сигнатурный анализатор)
ГМСА ( групповой многоканальный сигнатурный анализатор ).
МСА (многоканальный сигнатурный анализатор ).
Достоинство: можно получить сигнатуру последовательности любой длины.
Недостаток: чем длиннее входная последовательность, тем в больше тактов получается сигнатура.