Єгоров О.А. Моделі і методи спільної верифікації проектованих цифрових систем на кристалах. - Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.12 - системи автоматизації проектувальних робіт.- Харківський національний університет радіоелектроніки, Харків, 2006. Дисертація присвячена питанням функціональної верифікації складних проектованих цифрових систем на кристалах. У роботі розроблено структурну модель і метод спільної верифікації апаратних і програмних складових системи на кристалі. Встановлено, що більшу частину системи на кристалі, яка складається з неодноразово використаних апаратних і програмних блоків, можна розміщувати на програмованих логічних інтегральних схемах, починаючи з перших етапів проектування, для прискорення моделювання і зменшення часу процесів верифікації. Модернізовано архітектуру системи моделювання цифрової системи (ЦС) для забезпечення можливості спільної верифікації програмних блоків, низькорівневих представлень апаратних блоків, моделей апаратних блоків, що розробляються. Обгрунтовано ефективність використання програмної надлишковості опису ЦС у вигляді асерцій, що дозволяє автоматизувати функціональну верифікацію, зменшити витрати на тестування завдяки використанню псевдовипадкового тесту, а також збільшити глибину діагностування пристрою. Основні результати теоретико-експериментальних досліджень реалізовано у вигляді програмно-апаратного комплексу CoVer функціональної верифікації складних цифрових систем на кристалі, який знайшов промислове використання в проектуванні складних процесорних систем на Ш1ІС. Ключові слова: функціональна верифікація, спільна апаратно-програмна верифікація, логічне моделювання, генерація тестів, цифрова система, формальна верифікація, механізм асерцій.