Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
22 июля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

Средства и методы разработки

982291 Топик полностью

OlegPowerC (28.02.2020 01:17, просмотров: 210) ответил OlegPowerC на Опыт пока маленький - выложу что нибудь стоещее на GitHub а ощущение отличное, от SPARK особенно

Вот проект на ADA например (STM32) https://github.com/stcarrez/etherscope

Ответить

- Ничего себе! Интересно, насколько больше кода надо писать для реализации в будущем формальной верификации? - Evgeny_CD(28.02.2020 01:22)
- Не мой Ж-) - OlegPowerC(28.02.2020 01:17)