Подсистема бортовой электроники

Использованные технологии

Управление проектом

Средства управления проектами и отслеживания ошибок:

  • Redmine (взаимодействие с заказчиком)
  • Odoo (внутренний контроль исполнителя)

Средства контроля версий:

  • Subversion (SVN)

Проектирование ПЛИС

Языки описания аппаратуры:

  • SystemVerilog

Библиотеки:

  • UVM 1.1d

Интерфейсы и шины:

  • ARM AMBA AXI4
  • FlexRay
  • AMI
  • SPI

Языки программирования:

  • Tcl
  • Python

Методики и технологии верификации:

  • унифицированная методология верификации (UVM)
  • библиотека универсальных верификационных компонентов (verification kits)
  • поведенческие модели внешних устройств на основе UVM RAL
  • программные модели объектов верификации (register models)
  • иерархическая структура верификационного окружения
  • подмена компонентов через UVM fabric
  • задание правил соответствия (SystemVerilog SVA)
  • функциональное покрытие (functional coverage)
  • генерация воздействий на основе генераторов случайных чисел (constrained random tests)
  • имитация возникновения неисправностей (error injection)
  • генерация отчетов в формате HTML

Диаграмма