Publication: Исследование и разработка методов автоматизации верификации систем на кристалле
Дата
2021
Авторы
Никитин, С. А.
Journal Title
Journal ISSN
Volume Title
Издатель
Аннотация
В главе 1 представлен обзор современных разработок в области верификации систем на кристалле, а также приведен обзор средств автоматизации, предоставляемых крупнейшими разработчиками САПР с целью поиска возможностей, представляющих решения задач данного проекта, определена актуальность работы. В главе 2 проведен сравнительный анализ методов автоматизации сборки и конфигурирования тестов, на основании которого был предложен метод, который позволит сократить время начальной конфигурации проекта, а также время сборки тестов высокого уровня, разработаны алгоритмы метода, а также проведен анализ эффективности. В главе 3 проведен сравнительный анализ методов визуализации состояния верификации проектов, предложен метод, направленный на сокращение времени локализации возникающих проблем, разработана общая структура и алгоритмы метода, проведен анализ эффективности.
Описание
Уровень образования: магистратура; Код направления/специальности: 09.04.01; Группа: М19-512
Ключевые слова
ВКР , Выпускная квалификационная работа
Цитирование
Никитин, С. А. Исследование и разработка методов автоматизации верификации систем на кристалле : Выпускная квалификационная работа, магистратура, 09.04.01 / С. А. Никитин ; рук. работы Николаев Артём Валерьевич, 2021