Examiner: Automatically locating inconsistent instructions between real devices and CPU emulators for Arm

Muhui Jiang, Tianyi Xu, Yajin Zhou, Yufeng Hu, Ming Zhong, Lei Wu, Xiapu Luo, Kui Ren
[arXiv] [Google Scholar] [DBLP] [Citeseer]

arXiv 2105.14273 cs.CR
2021
Note(s): Arm architecture, ISA specification, instruction set architecture, ASL
Papers: reid:fmcad:2016, reid:oopsla:2017