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

Інформація × Реєстраційний номер 0406U003921, Кандидатська дисертація На здобуття к.т.н. Дата захисту 12-09-2006 Статус Запланована Назва роботи Моделі і методи спільної верифікації проектованих цифрових систем на кристалах Здобувач Єгоров Олександр Андрійович, Керівник Хаханов Володимир Іванович Опонент Харченко В'ячеслав Сергійович Опонент Литвинова Євгенія Іванівна Опис Дисертацію присвячено питанням функціональної верифікації складних проектованих цифрових систем на кристалах. У роботі розроблено структурну модель спільної верифікації апаратних і програмних складових системи на кристалі. Встановлено, що більшу частину системи на кристалі, яка складається з неодноразово використаних апаратних і програмних блоків, можна розміщувати на програмованих логічних інтегральних схемах для прискорення моделювання і верифікації. Вдосконалено архітектуру системи апаратно-програмного моделювання цифрової системи для забезпечення можливості спільної верифікації програмних блоків, низькорівневих представлень апаратних блоків, моделей апаратних блоків. що розробляються. Обґрунтовано ефективність використання програмної надлишковості опису цифрової системи у вигляді асерцій, що дозволяє автоматизувати функціональну верифікацію, зменшити витрати на тестування завдяки використанню псевдовипадкового тесту. Основні результати досліджень реалізовано у вигляді програмно-апаратного комплексу CoVer функціональної верифікації складних цифрових систем на кристалі. Дата реєстрації 2006-09-12 Додано в НРАТ 2020-04-04 Закрити