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