ARM, RISC-V контроллеры

Отладка есть способ проверки соотношения мыслей, которые были заложены в код на этапе его написания, и реальности. Но суть разработки состоит не в этом. Есть исходная задача. Которая описана в пространстке неких примитивов. Которые приняты для данной задачи. Есть контроллер. Который дает своем пространство примитивов в виде возможностей ядра и периферии. Есть язык С. Который позволяет использовать встроенные/создавать новые примитивы. Которые с той или иной эффективностью отображаются на примитивы контроллера. Теперь самое главное - насколько привитивы С (встроенные и созданные) соотвествуют примитивам исходной задачи. На насколько удобно по ним раскладывать исходную задачу. Изоморфное автоматическое отображение алгоритма в код - это задача, котоая в обшем виде так пока и нерешенная. Когда Вы пошагово ходите по программе, ставите точки останова - Вы не сможете найти ответ на вопрос: а клапан всегда закроется тогда, когда нужно? И что, будем проверять все возможные ситуации на практике и ставить трап на процедуру закрывания клапана - сработало или нет? Хотя бы то же автоматное программированиа довели до ума, и сделали стандартом де факто. С единой общепринятой системой визуализации. Уже было бы проще. А тут JTAG никиом боком не лежал :)