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