Guys! I built a formally verified, O(1) pool allocator (TLA+/CBMC) for embedded systems and I can't believe I did it!
[supprimé]
u/lucifahsl2 — 7 days ago
r/EmbeddedRealTime
Need a help with bf609 processor
Hii guys.
I'm trying to do transpose of images in bf609 from analog devices and store with dma. And the data type is complex_fract32 which essentially means structure with two values as real and img.
If anyone good with dma in this processor please comment. My configurations are not working
u/Delicious-Cry5442 — 12 days ago