У дисертаційній роботі вперше запропоновано метод зворотного простежування для графової моделі HDL-коду, що дозволяє значно підвищити глибину пошуку помилок проектування в умовах неповної специфікації на пристрій, який проектується. Удосконалено графову модель HDL-коду та моделі помилок проектування, що дозволяє розширити клас помилок проектування, які виявляються. Модифіковано структурний метод пошуку помилок проектування
на основі граф-моделей із використанням матриць досяжності і векторів експериментальних перевірок, що дозволяє зменшити область підозрюваних помилок проектування і скоротити час пошуку помилок проектування на основі словників несправностей із використанням таблиць функцій несправностей і шляхом модифікації середовища верифікації HDL-моделей TestBench, що дозволяє зменшити довжину діагностичного експерименту у процесі пошуку помилок проектування у неструктурованому HDL-коді. Набув подальшого розвитку метод пошуку помилок проектування в HDL-моделях кінцевих автоматів, специфікація на які задана у вигляді графа переходів автомата, який дозволяє локалізувати помилки проектування до конкретних умовних операторів в HDL-коді.