Єгоров О. А. Моделі і методи спільної верифікації проектованих цифрових систем на кристалах

Дисертацію присвячено питанням функціональної верифікації складних проектованих цифрових систем на кристалах. У роботі розроблено структурну модель спільної верифікації апаратних і програмних складових системи на кристалі. Встановлено, що більшу частину системи на кристалі, яка складається з неодноразово використаних апаратних і програмних блоків, можна розміщувати на програмованих логічних інтегральних схемах для прискорення моделювання і верифікації. Вдосконалено архітектуру системи апаратно-програмного моделювання цифрової системи для забезпечення можливості спільної верифікації програмних блоків, низькорівневих представлень апаратних блоків, моделей апаратних блоків. що розробляються. Обґрунтовано ефективність використання програмної надлишковості опису цифрової системи у вигляді асерцій, що дозволяє автоматизувати функціональну верифікацію, зменшити витрати на тестування завдяки використанню псевдовипадкового тесту. Основні результати досліджень реалізовано у вигляді програмно-апаратного комплексу CoVer функціональної верифікації складних цифрових систем на кристалі.