Проектирование аппаратуры на ПЛИС. Современные подходы и средства разработки: Семинар

Докладчики семинара:

• Федоров Сергей Владимирович, преподаватель, «МГТУ им.Н.Э. Баумана, Кафедра Информационные Системы и Телекоммуникации (ИУ-3)»;
• Кривошеин Борис Николаевич, директор департамента РЭА, ЗАО «Ланит-Терком (AT Software)».

Предварительная программа семинара:

Часть I Архитектура и САПР современных ПЛИС

Новые семейства и элементы архитектуры, тенденции развития ПЛИС

• Семейства IGLOO2, ProAsic3 (Microsemi)
• Семейства Virtex/Kintex Ultrascale (Xilinx)
• Семейства Stratix/Arria 10 (Altera)
•  Общие тенденции развития и перспективы ПЛИС

Методология проектирования

• Quartus II (Altera)
• Vivado Design Suite (Xilinx)
• Использование IP ядер при проектировании ПЛИС

Средства высокоуровневого описания и синтеза

• OpenCL (Altera)
• Vivado HLS (Xilinx)
• Обзор продукции фирм Synopsys, Cadence, Mentor Graphics

Часть II Верификация проектов

Современные подходы и средства верификации.

• Метрики и техники верификации. Формальные методы, моделирование.
• Языки верификации
• Questa Advanced Simulator (Mentor Graphics)
• ChipScope Pro toolkit (Xilinx)
• Avalon verification IP Suite (Altera)

Методологии UVM/OVM.

• Обзор методологий UVM и OVM
• Маршрут верификации UVM. UVM Express, UVM Connect (Mentor Graphics)
• Маршрут верификации OVM (Mentor Graphics)

Пример применения языка System Verilog для описания и тестирования интерфейсов и верификации модулей.

Часть III Системы на кристалле / на ПЛИС (SoC - SoPC)

Программные и аппаратные компоненты систем на ПЛИС.

• Zynq-7000 (Xilinx)
• Arria 10 SX/Stratix 10 SX/Cyclone V SX

Интерфейсы систем на ПЛИС.

• Внутренние интерфейсы систем на ПЛИС. Архитектура AMBA. Протокол AXI. Взаимодействие процессорных ядер и ресурсов программируемой логики в SoPC.
• Архитектурные элементы внешних интерфейсов систем на ПЛИС. Аппаратные ускорители и IP ядра.
• Средства верификации интерфейсов.

Отладка систем на кристалле (платформы, средства).

• MATLAB/Simulink (MathWorks)
• Xilinx SDK. PetaLinux tools (Xilinx)
• SoC Embedded Design Suite. Nios II EDS. DSP Builder (Altera)
• ARM Development Studio 5

Операционные системы для систем на кристалле.

• Linux и другие ОС на основе ядра Linux
• FreeRTOS
• EMBOX

Часть IV Примеры применения

Примеры применения.

Ответы на вопросы.