FPGA-Systems 2024.1 Санкт-Петербург

Зададут тон конференции Михаил Коробков и Андрей Куян. Они поделятся актуальным состоянием российского мира микроэлектроники, главными новостями FPGA-сообщества и интро об организаторах и партнерах этого года.

Кто такие радиолюбители и чем они интересуются в XXI веке? Зачем им SDR и FPGA? Может ли радиолюбитель не заниматься FPGA профессионально, но разработать КВ-трансивер своей мечты? На эти и другие вопросы Олег Белоусов ответит в докладе. Тема будет интересна начинающим FPGA-инженерам и embedded-программистам, работающим с SoC на FPGA.

Верификация и валидация — важная часть работы над микропроцессорами. В ходе работы мы с командой поняли, что фокусируемся на деталях — например, метриках — и не видим общую картину, в то время как приближается срок сдачи проекта. Тогда мы решили изменить подход: сначала планируем «широкими мазками», а потом уточняем детали. В докладе рассмотрим, как мы научились верифицировать риски и строить матрицу, а также оценивать связь рисков с другими модулями. В результате команда лучше понимает, на чем стоит сфокусироваться, а где можно выполнить «гигиенический минимум».

Описание уточняется

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

Мы рассмотрим метод организации защиты с момента подачи питания на СнК до загрузки операционной системы. Ознакомимся с принципами в основе метода и определим требования к аппаратной реализации подсистемы. Узнаем, какое отношение к вопросу имеет определение «корень доверия» (root-of-trust). Убедимся, что процесс загрузки устройства может быть безопасным.

Иван продолжает делиться занимательными историями из опыта работы с FPGA. Он расскажет, как мультициклами спасали тайминги, почему ПЛИС — плохой источник тактового сигнала, и визуализирует ошибки восприятия непроходящих временных ограничений. Впервые в таком формате Иван выступил на конференции FPGA-Systems 2023.2 в Санкт-Петербурге.

Python становится все более популярным языком для решения задач верификации цифровых дизайнов ASIC и FPGA. Под эти задачи разработали фреймворки cocotb и PyUVM, которые добавляют в язык функционал для верификации. Они позволяют использовать Python в узкоспециализированной сфере и компенсировать кадровый голод. В докладе рассмотрим, как применять PyUVM в реальных задачах верификации, и сравним его с классическим подходом SV-UVM.

Для верификации RTL-модулей необходимо качественное тестовое окружение, которое эмулирует логику вокруг тестируемого модуля. В докладе рассмотрим один из способов сформировать библиотеку верификационных компонентов и убедимся в корректности их работы с помощью библиотеки SVUnit. Доклад будет интересен верификаторам и RTL-инженерам, которые периодически пишут тестовые окружения.