Publication: Исследование и разработка методов автоматизации верификации систем на кристалле
dc.contributor.advisor | Николаев Артём Валерьевич | |
dc.contributor.author | Никитин, С. А. | |
dc.date.accessioned | 2025-02-12T17:34:10Z | |
dc.date.available | 2025-02-12T17:34:10Z | |
dc.date.issued | 2021 | |
dc.description | Уровень образования: магистратура; Код направления/специальности: 09.04.01; Группа: М19-512 | |
dc.description.abstract | В главе 1 представлен обзор современных разработок в области верификации систем на кристалле, а также приведен обзор средств автоматизации, предоставляемых крупнейшими разработчиками САПР с целью поиска возможностей, представляющих решения задач данного проекта, определена актуальность работы. В главе 2 проведен сравнительный анализ методов автоматизации сборки и конфигурирования тестов, на основании которого был предложен метод, который позволит сократить время начальной конфигурации проекта, а также время сборки тестов высокого уровня, разработаны алгоритмы метода, а также проведен анализ эффективности. В главе 3 проведен сравнительный анализ методов визуализации состояния верификации проектов, предложен метод, направленный на сокращение времени локализации возникающих проблем, разработана общая структура и алгоритмы метода, проведен анализ эффективности. | |
dc.identifier.citation | Никитин, С. А. Исследование и разработка методов автоматизации верификации систем на кристалле : Выпускная квалификационная работа, магистратура, 09.04.01 / С. А. Никитин ; рук. работы Николаев Артём Валерьевич, 2021 | |
dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/33481 | |
dc.language | ru | ru |
dc.subject | ВКР | |
dc.subject | Выпускная квалификационная работа | |
dc.title | Исследование и разработка методов автоматизации верификации систем на кристалле | |
dc.type | ВКР | |
dspace.entity.type | Publication |