Диагностирование элементов памяти методом обобщенной контрольной точки

Для элементов памяти таблицу срабатывания составляют с учетом данных таблицы переходов и выходов D-триггеров (см. табл. 17.1). Из таблицы видно, что при q(t) = 0 состояние Q {t + 1 }= 0, при q (t) = 1 состояние Q {t+ 1} = 1.

Независимо от исходного состояния Q(t), один из наборов переводит триггер во вполне определенное состояние. Если в триггере предусмотрен сигнал установки «О», то он переводит его также во вполне определенное состояние «О». Сокращенная таблица срабатываний для D-триггера представлена в виде табл. 17.2. Следовательно, для проверки D-триггера можно выбрать любую из двух пар входных наборов (0/1 или 1/0).

Диагностирование элементов памяти методом обобщенной контрольной точки

Из таблицы видно, что при любом входном наборе триггер принимает неопределенное состояние. Поэтому необходимо определить такую пару входных наборов, при подаче которой триггер переходит из одного состояния в другое (из состояния «О» в состояние «1» или наоборот). Заметим, что это требование вытекает из сущности метода обобщенной контрольной точки, для которого важен лишь сам факт перехода элемента в новое состояние, независимо в какое. Такой подход позволяет значительно упростить алгоритм диагностирования по сравнению с подходом, основанным на сравнении значения выхода триггера с его ожидаемым значением.

Рассмотрим возможные ситуации.

Диагностирование элементов памяти методом обобщенной контрольной точки

Проверка RS-триггера. Из анализа таблицы переходов и выходов RS-триггера (табл. 17.6) следует, что при подаче наборов R = О, S = 1 или R = 1, S = 0 триггер принимает устойчивое состояние независимо от исходного состояния.

Диагностирование элементов памяти методом обобщенной контрольной точки

Диагностирование элементов памяти методом обобщенной контрольной точки


Следующее: Формирователь тестовых сигналов

Предыдущее: Основные типы триггеров

Интересное: Планета X и вся правда о Нибиру с точки зрения науки



Поделиться!