Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

ARM (Extended Abstract)


Citation: James K. Huggins and David Van Campenhout, "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor", ACM Transactions on Design Automation of Electronic Systems, vol. 3, no. 4 (October 1998), 563-580. © Copyright 1998 by ACM, Inc..
Summary: An extended abstract of a specification and verification of pipelining in the ARM2, an early RISC pipelinined processor.
Subjects: Architecture, Hardware, Verification
Download: PostScript, PDF, Compressed PostScript
Notes: See the full version of this paper.