Для элементов памяти таблицу срабатывания составляют с учетом данных таблицы переходов и выходов 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 триггер принимает устойчивое состояние независимо от исходного состояния.
