Certification of an instruction set simulator

Xiaomu Shi
[Google Scholar] [DBLP] [Citeseer] [url]

Ph.D. thesis
2013GRENM075
Université de Grenoble
July 2013
Note(s): Arm architecture, ISA specification, instruction set architecture