News for hackers. Stuff that matters.

A comment on STM32MP2: ST’s first Linux capable 64-bit MPU with NPU, GPU and TSN. Parent comment

Re:STM32MP2: ST’s first Linux capable 64-bit MPU with NPU, G... by kragen on Saturday August 26, 2023 @06:22PM (#37277441)
yes, the more complex arm isa runs counter to formal verification, and so does the complexity and secrecy of the arm implementation

lots of realtime systems still don't bother with formal verification, even though it's enormously more accessible today than 20 or 40 years ago

[ Parent | on HN ]

There are no comments on this comment yet.