Сиревич Є. Ю. Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури

Роботу присвячено верифікації моделей цифрових пристроїв (ЦП) на мовах опису апаратури (МОА). Автоматизація генерації тестів у рамках автоматизованого проектування ЦП дозволяє зменшити час на верифікацію та зменшити час проектування систем на кристалі. Мета роботи - розробка методів зменшення кількості тестової інформації при верифікації моделей цифрових пристроїв, які подано МОА. Удосконалено стратегію верифікації моделей ЦП, що дозволило автоматизувати верифікацію та узгодити її етапи з САПР радіоелектронної апаратури; удосконалено метод верифікації на основі синтезу тестів під час активізації шляхів у МОА-моделі; модифіковано метод побудови розрізнюючих послідовностей для ідентифікації функціональних елементів, який дозволив зменшити обсяг тесту; запропоновано подання значень діапазонами, яке дозволило зменшити кількість значень, що опрацьовуються, та виконати імплікативні процедури; запропоновано графову модель, яка дозволила виконувати просування вперед та назад.