Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6). - Daniel Paul Schostak (2003)