Мы запустили TRAI FPGA OS (fpgaos.ru) — веб-конструктор доказуемых цифровых устройств. Идея простая: одну и ту же схему из проверенных ядер можно развернуть тремя способами — как прошивку ПЛИС (Xilinx / Gowin / Anlogic) или как код для микрокомпьютера (Raspberry Pi / Arduino), и поведение будет одинаковым до бита.
329 верифицированных ядер, 0 расхождений с эталоном
Каждое IP-ядро в библиотеке сверено с независимой золотой моделью побитово. Дорогая ПЛИС — там, где нужны скорость и радиационная стойкость; дешёвый микрокомпьютер — для простых узлов, поиска людей под завалами, наземных роботов. Логика одна, носитель выбираете вы.
Собирается всё в браузерном конструкторе «цифровое ателье»: перетаскиваете ядра на холст, видите сигналы в осциллографе и логическом анализаторе и сразу — оценку ресурсов ПЛИС (LUT / FF / BRAM / DSP).
«10 приборов, которые не должны собираться на Arduino — но собираются»
В разделе «Собери на Arduino» — витрина приборов, собранных из тех же ядер, что крутятся в рад-стойкой ПЛИС спутника. У каждого прибора уже готовый бинарник: для Raspberry Pi копируете на флешку и запускаете, для Arduino — готовый .hex. Компилировать ничего не нужно, ни строчки кода. Прибор из деталей — от 400 ₽.
Проверить можно прямо в браузере: встроенный эмулятор Raspberry Pi (WebAssembly) запускает настоящий код прибора в терминале — тот же, что зальётся на плату.
Готовые приборы под реальные задачи
Из библиотеки уже собраны сотни устройств: «Нахлебник-ПКЛ» (пассивная локация на вражьей глушилке), «Астро-Компас» (навигация без GPS), «Нуль-Пастух» (адаптивная антенная решётка), BreathBeacon (поиск живых под завалами), «Фотон-Р» (лазерный FSO-ретранслятор) — и ещё более 1200 вариантов для космоса, БПЛА, наземных роботов, метрологии и РЭБ.
Конструктор дополнен ИИ-помощником: он объясняет ядра и собирает черновик схемы по описанию на естественном языке.
Попробовать: fpgaos.ru · Собери на Arduino. Разработка ООО «Технологии Репликации».