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

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