Пошук академічних текстів

Інформація × Реєстраційний номер 0404U001189, Кандидатська дисертація На здобуття к.т.н. Дата захисту 16-03-2004 Статус Запланована Назва роботи Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці Здобувач Колесніков Костянтин Васильович, Керівник Хаханов В.І. Опонент Хажмурадов М.А. Опонент Голубничий Д.Ю. Опис Робота присвячена розробці методів і алгоритмів зворотного дедуктивно-паралельного моделювання несправностей і детермінованого синтезу тестів на реконфігурованих моделях, що дозволяють на порядок зменшити час оцінки якості тестів для верифікації складних цифрових систем на стадіях їх автоматизованого проектування. Створено модель процесу дедуктивно-паралельного аналізу цифрової схеми на основі процедури зворотної суперпозиції; розроблені дедуктивні методи структурно-функціонального аналізу цифрових систем з метою визначення множини розгалужень, що сходяться, і ре конфігурації структури для реалізації процедури суперпозиції; розроблений новий топологічний метод моделювання дефектів за деревоподібною структурою цифрової системи Дата реєстрації 2004-03-16 Додано в НРАТ 2020-04-04 Закрити