моделювання, моделирование, modeling, simulation ; несправності, неисправности ; програмована логіка, программируемая логика ; цифрові системи, цифровые системы, digital system

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

• УДК // Автомати
• УДК // Цифрові (або переважно цифрові) системи, машини, обладнання