> I can only hope that ARM has learned from Intel's mistakes and the situation is better with their CPUs. How can we hope for bug-free software when even ISA se

> I can only hope that ARM has learned from Intel's mistakes and the situation is better with their CPUs. How can we hope for bug-free software when even ISA semantics aren't clear? ARM's research division has spent a great deal of time on this topic. This is a good introduction and describes where they were at in 2018: https://alastairreid.github.io/talks/formalizing-arm-specs-ACSD-2018-06-15.pdf https://alastairreid.github.io/talks/formalizing-arm-specs-A...