Сисенко І. Ю. Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфігуруються

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