Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Пятница
9 мая
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
982294
Топик полностью
Evgeny_CD
Архитектор
(28.02.2020 01:22, просмотров: 183)
ответил
OlegPowerC
на
Вот проект на ADA например (STM32)
Ничего себе! Интересно, насколько больше кода надо писать для реализации в будущем формальной верификации?
Ответить