• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Оценка качества верификации программно-аппаратного обеспечения систем-на-кристалле

ФИО студента: Татарченко Василий Львович

Руководитель: Вишнеков Андрей Владленович

Кампус/факультет: Факультет информационных технологий и вычислительной техники

Программа: Информационные системы и компьютерные сети (Магистратура)

Год защиты: 2015

В работе рассматривается проблема оценки качества верификации систем-на-кристалле с целью определения своевременности выпуска продукта. Показано развитие решений данного вопроса с течением времени и рассмотрены существующие стратегии верификации. Выбрано итоговое решение, позволяющее определить степень завершенности верификации системы и решить заявленную в теме работы проблему.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ