Verifying ARM6 Multiplication Anthony Fox Computer Laboratory, University of Cambridge Abstract. The hol-4 proof system has been used to formally verify the correctness of the ARM6 micro-architecture. This paper describe

First Page		Document Content
Date: 2004-05-11 10:30:53 ARM architecture Instruction set Tomasulo algorithm Computer architecture Instruction set architectures Central processing unit		Verifying ARM6 Multiplication Anthony Fox Computer Laboratory, University of Cambridge Abstract. The hol-4 proof system has been used to formally verify the correctness of the ARM6 micro-architecture. This paper describe Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 191,65 KB Share Document on Facebook