2 ms·
ARMv8-A system semantics: instruction fetch in relaxed architectures
- monocasa 7y agoNice! Most of the formal models of architectures I've seen ignore the whole memory hierarchy thing. Even places you might expect, like the model used in sel4's proof.