350 руб
Журнал «Успехи современной радиоэлектроники» №1 за 2012 г.
Статья в номере:
Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости
Ключевые слова: управление качеством автоматизация методики верификации OVM SystemVerilog верификация на базе утверждений система управления версиями система информационных ресурсов рефакторинг непрерывная интеграция
Авторы:
О. М. Брехов - д.т.н., профессор, Московский авиационный институт (национальный исследовательский университет). E-mail: obrekhov@mail.ru А. В. Корнеенкова - к.т.н., доцент, Московский авиационный институт (национальный исследовательский университет). E-mail: ankorn@yandex.ru К. А. Кордовер - мл. науч. сотрудник, МАИ НИО-304. E-mail: k.a.kordover@gmail.com Н. Ю. Мухин - мл. науч сотрудник, МАИ НИО-304. E-mail: 808@mail.ru Е. А. Орлова - мл. науч. сотрудник, МАИ НИО-304. E-mail: catrin@nm.ru И. В. Тузов - мл. науч. сотрудник МАИ НИО-304. E-mail: Letters-Ilya@yandex.ru
Аннотация:
Описан комплексный метод автоматизированного управления качеством при прототипировании на ПЛИС. Определены критерии успешности проектирования и качества прототипа, базовые процессы при управлении качеством и технологии автоматизации. Основное внимание уделено задачам функциональной верификации моделей аппаратуры, методикам автоматизации тестирования и проверки свойств прототипа. Рассмотрено взаимодействие субъектов процесса проектирования с системой информационных ресурсов и между собой.
Страницы: 84-90
Список источников
  1. Бек.К. Экстремальное программирование: разработка через тестирование. СПб.: Питер. 2003.
  2. Фаулер М., Бек К., Брант Д., Робертс Д., Апдайк У. Рефакторинг: улучшение существующего кода. СПб.: Символ-Плюс. 2009. С. 432.
  3. Максфилд К. Проектирование на ПЛИС - Архитектура, средства и методы. Курс молодого бойца. М.: Додека-XXI. 2007.
  4. Кларк Э. М., Грамберг О., Пелед Д. Верификация моделей программ. ModelChecking. М.: МЦНМО. 2002.
  5. OVMUserGuideVersion 2.1.1. Cadence Design Systems. Mentor Graphics. 2010.
  6. Srikanth Vijayaraghavan, Meyyappan Ramanthan. A Practical Guide for SystemVerilog Assertions. USA. Springer-Verlag New York Inc. 2005.
  7. Dorothy Graham. Erik van Veenendaal. Isabel Evans. Foundations of Software Testing: ISTQB Certification (Paperback). 50-51 BedfordRowLondon, CengageLearningEMEA.
  8. Ларман К. Применение UML 2.0 и шаблонов проектирования. Введение в объектно-ориентированный анализ, проектирование и итеративную разработку. Изд. 3-е. М.: Изд. дом «Вильямс». 2009.