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

Інформація × Реєстраційний номер 0408U000009, Кандидатська дисертація На здобуття к.т.н. Дата захисту 20-11-2007 Статус Запланована Назва роботи Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури Здобувач Сиревич Євгенія Юхимівна, Керівник Кривуля Геннадій Федорович Опонент Дербунович Леонід Вікторович Опонент Скобцов Юрій Олександрович Опис Роботу присвячено верифікації моделей цифрових пристроїв (ЦП) на мовах опису апаратури (МОА). Автоматизація генерації тестів у рамках автоматизованого проектування ЦП дозволяє зменшити час на верифікацію та зменшити час проектування систем на кристалі. Мета роботи - розробка методів зменшення кількості тестової інформації при верифікації моделей цифрових пристроїв, які подано МОА. Удосконалено стратегію верифікації моделей ЦП, що дозволило автоматизувати верифікацію та узгодити її етапи з САПР радіоелектронної апаратури; удосконалено метод верифікації на основі синтезу тестів під час активізації шляхів у МОА-моделі; модифіковано метод побудови розрізнюючих послідовностей для ідентифікації функціональних елементів, який дозволив зменшити обсяг тесту; запропоновано подання значень діапазонами, яке дозволило зменшити кількість значень, що опрацьовуються, та виконати імплікативні процедури; запропоновано графову модель, яка дозволила виконувати просування вперед та назад. Дата реєстрації 2007-11-20 Додано в НРАТ 2020-04-04 Закрити