Составные части абстрактного автомата. Способы задания автоматов. Синхронные и асинхронные автоматы. Минимизация полностью определенного автомата. Структурная теория. Канонический метод структурного синтеза автомата. Кодирование состояний автомата. Гонки в автомате. Противогоночное кодирование состояний автомата, страница 10

o  сравнить полученную последовательность с эталоном то есть в рассматриваемом методе вместо тестирования схемы в целом осуществляется раздельная проверка элементов памяти и последовательное тестирование комбинационной части.

Методы самотестирования

Они решают проблему тестопригодности:

¨  встроенный логический блок наблюдения BILBO

¨  синдромное тестирование

¨  коэффициенты Уолша

¨  автономное тестирование

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

1.  В1 ® в режим нормального функционирования

2.  В2 ® в режим сканирования данных

3.  В В2 вводится тестовый набор

4.  Сигналы с выхода В2 поставляются в блок N1

5.  Выходные сигналы записываются в В1 (с выходов N1)

6.  Блок В1 ® в режим сканирования

7.  Данные выводятся из блока В1

8.  Цикл повторяется для всех тестовых наборов

Недостаток – постоянное переключение режимов. Данная структура может использоваться в режиме сигнатурного анализатора:

a.  В1 ® в режим многоканального сигнатурного анализатора

b.  В2 ® в режим генератора псевдослучайной последовательности максимальной длины

c.  с использованием блока В2 подаем тестовые наборы на N1

d.  накапливаем сигнатуру в В1

e.  переводим В1 в режим сканирования и выводим результат

Вариант полного самотестирования схемы

В1 – элемент BILBO, используется как генератор псевдослучайных тестовых воздействий

В2 – другой элемент BILBO, в режиме нормального функционирования это память, в режиме сканирования - многоканальный сигнатурный анализатор

Dm – дешифратор (схема сравнения)

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

Методы аппаратного контроля

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

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

Выходной сигнал  является сигналом ошибки

Для   должны быть такими, чтобы при отсутствии ошибок заданного класса , при наличии ошибок .  включает контрольный автомат  и решающий орган (РО). Комбинационная схема  осуществляет отображение . Это отображение разбивает все множество векторов выхода автомата на блоки разбиения (подмножества), которые обозначили .таким образом, что каждому блоку  соответствует вектор . Порядок разбиения определяется классом ошибок. Работа схемы происходит следующим образом. В процессе функционирования автомат, контролируемый автоматом , вырабатывает вектор выхода автомата с точностью до блоков разбиения множества его выходов. В случае возникновения ошибки заданного класса нарушается соответствие блока разбиения на  соответствующему ему вектору . При этом РО вырабатывает сигнал ошибки. Чем меньше число блоков разбиения, тем меньше , тем проще автомат . Рассмотренная модель позволяет обнаружить ошибки как в исходном автомате, так и в автомате . Любая ошибка в автомате  будет обнаружена РО. РО – это комбинационная схема, которая осуществляет сравнение вектора выхода  исходного автомата и вектора выхода автомата. В случае их несоответствия вырабатывается сигнал ошибки . То есть он осуществляет процесс отображения произведения  на  в вектор выхода .