Элементы и узлы информационных и управляющих систем (Основы теории и синтеза). Булатов В.Н. - 93 стр.

    7.1.2 ДИАГНОСТИРОВАНИЕ ЦИФРОВОГО АВТОМАТА С ПАМЯТЬЮ
    Диагностирование автомата с памятью значительно труднее по сравнению
с диагностированием комбинационных схем. Это объясняется тем, что
состояние выхода автомата с памятью зависит не только от текущего состоя-
ния входа, но и от предшествующего состояния автомата. Методы синтеза
проверяющих тестов для автоматов с памятью также основаны на анализе и
сравнении моделей исправного и неисправного автоматов. В результате
анализа выбираются входные и выходные последовательности сигналов,
позволяющие обнаружить заданное множество неисправностей. В качестве
моделей автомата, как правило, используют таблицы состояний и выходов,
что и предопределяет трудоемкость процедур теста и ограничение области их
применения сравнительно простыми устройствами.
    В ответственных устройствах, содержащих резервные узлы, аппаратурную
и информационную избыточность для контроля можно использовать
состояние узлов в процессе работы (функциональное диагностирование).
    Однако усложнение цифровых устройств, повышение разрядности данных
и    быстродействия,   широкое     распространение   программных       методов
управления привели к серьезным затруднениям при их отладке и
диагностировании.      Контроль      сложных     цифровых      и      особенно
микропроцессорных      систем     требует   регистрации   последовательности
логических состояний одновременно во многих узлах схемы на протяжении
значительного временного интервала.
    Для решения задач отладки и проверки сложных цифровых систем
используются     специальные        приборы,     называемые        логическими
анализаторами, которые предназначены для измерений потоков двоичных
данных. В процессе работы логический анализатор подключается к вы-
бранным точкам контролируемой схемы и принимает в запоминающее
устройство последовательности логических состояний контрольных точек.
Тактовые сигналы записи в запоминающее устройство вырабатываются
внутренним генератором или поступают от контролируемой схемы. В