Formal verification of the ARM6 micro-architecture

Anthony C. J. Fox
[Google Scholar] [DBLP] [Citeseer] [url]

Report
UCAM-CL-TR-548
University of Cambridge, Computer Laboratory
November 2002
Note(s): Arm architecture, CPU verification, microarchitecture