Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

ARM


Citation: James K. Huggins and David Van Campenhout, "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor", University of Michigan EECS Department Technical Report CSE-TR-371-98.
Summary: A specification of the ARM2, an early commercial RISC microprocessor, and a verification of its pipelining techniques.
Subjects: Architecture, Hardware, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: