Back to Results
First PageMeta Content
Machine code / Assembly languages / Central processing unit / ARM architecture / Addressing mode / Processor register / NOP / DLX / Computer architecture / Computing / Instruction set architectures


Verifying the ARM Block Data Transfer Instructions 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.
Add to Reading List

Document Date: 2004-05-10 09:42:53

Open Document

File Size: 223,65 KB

Share Result on Facebook

Company

Field Extender AREG Mux Register Bank / Block Data Transfer Instructions Anthony Fox Computer Laboratory / Patterson / /

Currency

pence / IDR / /

Event

M&A / Product Issues / /

Facility

pipeline i.e. / ISA pipeline / ARM Block Data Transfer Instructions Anthony Fox Computer Laboratory / /

IndustryTerm

index search / register bank / /

Organization

ARM Block Data Transfer Instructions Anthony Fox Computer Laboratory / /

Position

model / the micro-architecture / supervisor / Memory Interface DIN Field Extractor / hol programmer / wb / current programmer / clean programmer / ARM programmer / interpreter / programmer / /

Product

code / /

ProvinceOrState

Swansea / /

Technology

ARM6 processor / ARM processors / /

SocialTag