Search academic texts

Information × Registration Number 0408U000009, Candidate dissertation Status к.т.н. Date 20-11-2007 popup.evolution o Title Verification of HDL-Models of Digital Devices Author Syrevych Yevgeniya Yuhimivna, popup.head Krivulya Gennadiy Fedorovych popup.opponent Дербунович Леонід Вікторович popup.opponent Скобцов Юрій Олександрович Description Роботу присвячено верифікації моделей цифрових пристроїв (ЦП) на мовах опису апаратури (МОА). Автоматизація генерації тестів у рамках автоматизованого проектування ЦП дозволяє зменшити час на верифікацію та зменшити час проектування систем на кристалі. Мета роботи - розробка методів зменшення кількості тестової інформації при верифікації моделей цифрових пристроїв, які подано МОА. Удосконалено стратегію верифікації моделей ЦП, що дозволило автоматизувати верифікацію та узгодити її етапи з САПР радіоелектронної апаратури; удосконалено метод верифікації на основі синтезу тестів під час активізації шляхів у МОА-моделі; модифіковано метод побудови розрізнюючих послідовностей для ідентифікації функціональних елементів, який дозволив зменшити обсяг тесту; запропоновано подання значень діапазонами, яке дозволило зменшити кількість значень, що опрацьовуються, та виконати імплікативні процедури; запропоновано графову модель, яка дозволила виконувати просування вперед та назад. Registration Date 2007-11-20 popup.nrat_date 2020-04-04 Close