Back to Results
First PageMeta Content
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

Document Date: 2004-05-11 10:30:53

Open Document

File Size: 191,65 KB

Share Result on Facebook

City

Cambridge / /

Company

Verifying ARM6 Multiplication Anthony Fox Computer Laboratory / Register Bank Mux / Patterson / /

Facility

University of Cambridge Abstract / /

IndustryTerm

bank / data processing instructions / partial product / /

Position

Memory Interface Mux DIN Field Extractor / current programmer / Constant HB / representative / WORD_BITS HB / interpreter / programmer / /

ProvinceOrState

Swansea / /

Technology

ARM processors / /

SocialTag