Подсистема бортовой электроники
Использованные технологии
Управление проектом
Средства управления проектами и отслеживания ошибок:
- 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