Обобщаются классические и новые, ориентированные на решение практических задач, технологии логического анализа, обеспечения тесто- и ремонтопригодности современных вычислительных устройств. Предлагаются: математический аппарат кубического исчисления для компактного описания табличных моделей цифровых и микропроцессорных обьектов; методы и алгоритмы их анализа с целью проектирования диагностической информации. Исследуются методы исправного моделирования, анализа переходных процессов, моделирования неисправностей, генерации тестов, проектирования алгоритмов поиска дефектов. Рассматриваются способы тестопригодного проектирования цифровых автоматов и тестирования микропроцессорных структур. Методики, алгоритмы доведены до инженерного понимания их практического применения.
Учебник предназначен для студентов компьютерной инженерии, специалистов
в области применения компьютерных технологий в технической диагностике.