A HOL specification of the ARM instruction set architecture
Anthony C. J. Fox[Google Scholar] [DBLP] [Citeseer] [url]
Report
UCAM-CL-TR-545
University of Cambridge, Computer Laboratory
June 2001
Note(s): Arm architecture, ISA specification, instruction set architecture
UCAM-CL-TR-545
University of Cambridge, Computer Laboratory
June 2001
Note(s): Arm architecture, ISA specification, instruction set architecture