Название статьи или книги, фамилия автора, DOI

Методика быстрого прототипирования аппаратно-программного комплекса на основе технологического базиса ПЛИС большой емкости и настраиваемых библиотек

О. М. Брехов1, А. В. Корнеенкова2, К. А. Кордовер3, Н. Ю. Мухин4, Е. А. Орлова5, И. В. Тузов6

научная статья Страницы: 91-96

  1. 1 д.т.н., профессор, Московский авиационный институт (национальный исследовательский университет)
  2. 2 к.т.н., доцент, Московский авиационный институт (национальный исследовательский университет)
  3. 3,5 мл. науч. сотрудник, МАИ НИО-304
  4. 4 мл. науч сотрудник, МАИ НИО-304
  5. 6 мл. науч. сотрудник МАИ НИО-304

Аннотация

Представлены методика и технологическая цепочка, в значительной степени автоматизирующая и унифицирующая процесс разработки прототипа на базе ПЛИС и библиотек настраиваемых компонентов. Рассмотрен пример применения методики при прототипировании модуля космического аппарата. Предложена архитектура аппаратно-программного комплекса, допускающая внутрисистемное перепрограммирование и ее отличительные свойства.

Для цитирования

Брехов О.М., Корнеенкова А.В., Кордовер К.А., Мухин Н.Ю., Орлова Е.А., Тузов И.В. Методика быстрого прототипирования аппаратно-программного комплекса на основе технологического базиса ПЛИС большой емкости и настраиваемых библиотек // Успехи современной радиоэлектроники. 2012. № 1. С. 91–96.

Список источников
  1. Кларк Э. М., Грамберг О., Пелед Д. Верификация моделей программ. ModelChecking. М.: МЦНМО. 2002.
  2. IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language. IEEEStd 1800?-2005. IEEEComputerSociety. 2005.
  3. Борисов Ю., Грошев А., Михайлов В., Петровичев А., Сехно Б., Яценко П. Модуль цифровой обработки ИК-изображений с матричных фотоприемных устройств // Компоненты и технологии. № 3. 2002.
  4. Ларман К. Применение UML 2.0 и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и итеративную разработку. Изд. 3-е. М.: Изд. дом «Вильямс». 2009.