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

Інформація × Реєстраційний номер 0419U000836, Кандидатська дисертація На здобуття Кандидат технічних наук Дата захисту 27-02-2019 Статус Запланована Назва роботи Квантові моделі та методи аналізу логічних Х-функцій Здобувач Любарський Михайло Михайлович, Керівник Хаханов Володимир Іванович Опонент Хажмурадов Манап Ахмадович Опонент Мірошник Марина Анатоліївна Опис Мета дослідження – зменшення часу верифікації цифрових систем на кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій і істотного підвищення продуктивності методів тестування і дедуктивного моделюван-ня несправностей за рахунок паралельного комп'ютингу алгоритмів. Сутність дослідження – квантові моделі і методи синтезу тестів і аналізу несправностей логічних Х-функцій на основі використання кубітних структур даних і memory-driven архітектур для паралельного комп'ютингу алгоритмів з метою істотного підвищення продуктивності тестування і дедуктивного моделювання цифрових систем на кристалах. Наукова новизна результатів дослідження: 1) Вперше запропоновано структурну модель метричних властивостей X-функцій, що орієнтована на виконання паралельних операцій на кубітних структурах даних в цілях отримання лінійного часу генерації тестів і моделювання цифрових систем. 2) Вперше запропоновано аналітичну модель синтезу кубітних покриттів X-функцій від кінцевого числа змінних, яка характеризується можливістю створення логічних схем, що не потребують експоненційних витрат на генерування і аналіз тестів перевірки несправностей. 3) Вперше запропоновано паралельний метод синтезу тестів для несправностей X-функцій від кінцевого числа змінних, який характеризується взяттям булевих похідних по кубітним покриттям, що дає можливість отримувати перевіряючі тести мінімальної довжини. 4) Вперше запропоновано паралельний метод синтезу дедуктивних кубітних покриттів для моделювання Х-функцій, який характеризується отриманням одиничної матриці похідних, що дає можливість створювати секвенсор моделювання дефектів, інваріантний до вхідних тестових наборів. 5) Удосконалено memory-driven архітектури та алгоритми для реалізації методів тестування та верифікації цифрових систем на кристалах, які відрізняються паралельним виконанням логічних операцій над кубітними структурами даних. 6) Удосконалено квантові методи генерації тестів і дедуктивного моделювання несправностей логічних функцій, які відрізняються від аналогів синтезом матриць булевих похідних за їх кубітним покриттям. Дата реєстрації 2019-02-27 Додано в НРАТ 2020-04-03 Закрити