Search academic texts

Information × Registration Number 0406U003921, Candidate dissertation Status к.т.н. Date 12-09-2006 popup.evolution o Title Models and methods of co-verification of digital system on a chip Author Yegorov Oleksandr Andrijovych, popup.head Hahanov Volodymyr Ivanovych popup.opponent Харченко В'ячеслав Сергійович popup.opponent Литвинова Євгенія Іванівна Description Дисертацію присвячено питанням функціональної верифікації складних проектованих цифрових систем на кристалах. У роботі розроблено структурну модель спільної верифікації апаратних і програмних складових системи на кристалі. Встановлено, що більшу частину системи на кристалі, яка складається з неодноразово використаних апаратних і програмних блоків, можна розміщувати на програмованих логічних інтегральних схемах для прискорення моделювання і верифікації. Вдосконалено архітектуру системи апаратно-програмного моделювання цифрової системи для забезпечення можливості спільної верифікації програмних блоків, низькорівневих представлень апаратних блоків, моделей апаратних блоків. що розробляються. Обґрунтовано ефективність використання програмної надлишковості опису цифрової системи у вигляді асерцій, що дозволяє автоматизувати функціональну верифікацію, зменшити витрати на тестування завдяки використанню псевдовипадкового тесту. Основні результати досліджень реалізовано у вигляді програмно-апаратного комплексу CoVer функціональної верифікації складних цифрових систем на кристалі. Registration Date 2006-09-12 popup.nrat_date 2020-04-04 Close