ARMv8-A system semantics: instruction fetch in relaxed architectures
2020
This work was partially supported by EPSRC grant EP/K008528/1 (REMS),
ERC Advanced Grant 789108 (ELVER), an ARM iCASE award, and ARM donation funding.
%
This work is part of the CIFV project sponsored by the Defense
Advanced Research Projects Agency (DARPA) and the Air Force Research
Laboratory (AFRL), under contract FA8650-18-C-7809.
The views, opinions, and/or findings contained in this paper are those of the
authors and should not be interpreted as representing the official views or
policies, either expressed or implied, of the Department of Defense or the
U.S. Government.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
40
References
4
Citations
NaN
KQI