Принцип диагностики на основе таблиц переходов
Диагностирование элементов памяти, таких как триггеры, осуществляется с использованием таблиц срабатывания, которые формируются на основе таблиц переходов и выходов. Например, для D-триггера (см. табл. 17.1) логика работы четко определена: если на входе сигнал q(t) = 0, то на следующем такте состояние выхода Q(t+1) будет равно 0, а при q(t) = 1 — состояние Q(t+1) станет 1. Это означает, что существует как минимум один входной набор, который переводит триггер в заранее известное состояние, независимо от его исходного значения. Если в схеме предусмотрен сигнал сброса (установки в «0»), то он также гарантированно задает определенное состояние.
Сокращенная таблица срабатываний для D-триггера (табл. 17.2) показывает, что для его проверки можно выбрать любую из двух пар входных сигналов: (0,1) или (1,0). Это обеспечивает переход между состояниями, что является ключевым для диагностики.
Сущность метода обобщенной контрольной точки
Анализ таблиц переходов для других типов триггеров (например, RS-триггера) выявляет важную особенность: при некоторых входных наборах элемент может переходить в неопределенное состояние. Поэтому для эффективной диагностики необходимо подобрать такую пару входных воздействий, которая гарантированно вызывает переход из одного устойчивого состояния в другое — либо из «0» в «1», либо из «1» в «0».
Именно этот принцип лежит в основе метода обобщенной контрольной точки. Главная идея метода заключается не в проверке конкретного значения на выходе элемента, а в фиксации самого факта изменения его состояния. Такой подход существенно упрощает алгоритм диагностирования, поскольку отпадает необходимость сравнивать фактический выход с ожидаемым значением для каждого теста. Достаточно убедиться, что элемент способен переключаться.
Пример диагностики RS-триггера
Рассмотрим применение метода на примере RS-триггера. Из таблицы переходов и выходов (табл. 17.6) следует, что существуют входные наборы, которые однозначно задают состояние триггера. Например, при подаче комбинации R=0, S=1 триггер устанавливается в состояние «1», а при R=1, S=0 — сбрасывается в «0». Эти наборы обеспечивают предсказуемый переход в устойчивое состояние независимо от исходного, что делает их пригодными для построения тестовых последовательностей в рамках метода обобщенной контрольной точки.
