15 приборов, которые не должны собираться на Arduino — но собираются
Каждый прибор ниже собран из ядер, доказанных побитово: та же логика, что крутится в рад-стойкой ПЛИС спутника, теперь укладывается в копеечную плату Arduino или Raspberry Pi. Ниже — что купить, как подключить и как прошить. Ни строчки кода.
У каждого прибора — уже скомпилированный бинарник: для Raspberry Pi копируешь на флешку и запускаешь, для Arduino — готовый .hex. Компилировать ничего не нужно.
216верифицированных ядер
1008готовых устройств
бит-в-битс ПЛИС, доказано
от 400₽за прибор из деталей
🖥 Запусти прямо в браузере
Эмулятор Raspberry Pi без установки: выбери прибор — и его настоящий код (тот же, что на плате, скомпилированный в WebAssembly) запустится здесь, в терминале. Бит-в-бит с ПЛИС.
pi@ipcosmos: ~ — эмулятор устройства
pi@ipcosmos:~ $выбери прибор выше и нажми ▶ Запустить
Как прошить за 4 шага
Одинаково для любого прибора. Нужна плата (Arduino/ESP32/Cortex-M или Raspberry Pi) и бесплатная Arduino IDE.
Скачай прошивку
Кнопка «Скачать прошивку» даёт .zip: скетч .ino, планировщик такта, Си-порты ядер и README.
Открой скетч
Распакуй и открой sketch_*.ino в Arduino IDE (или main_pi_*.c на Raspberry Pi — gcc в одну команду из README).
Подключи датчики
В hal_*.h — контракт входов/выходов (hal_in_*/hal_out_*). Впиши свои analogRead/digitalWrite.
Заливай
Кнопка Upload. Прибор работает так же, как в эмуляторе — и как эта логика работала бы в ПЛИС. Бит-в-бит.
Почему «бит-в-бит»? Каждое ядро проходит одни и те же тест-векторы и на ПЛИС, и на микрокомпьютере. Поведение совпадает до последнего бита — доказанная эквивалентность, а не «портирование на глаз». Одно верифицированное IP — три носителя (ПЛИС · Raspberry Pi · Arduino), доказуемо одинаковых.
Это только 5 из 1008
В конструкторе — больше тысячи готовых устройств и 216 ядер. Собери своё: поставь блоки, соедини, «МК-эмулятор». Или опиши задачу словами — ИИ соберёт систему за тебя.