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