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