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