[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

DEC-Alpha Processor


Citation: Thilo Gaul, "An Abstract State Machine specification of the DEC-Alpha Processor Family". Verifix Working Paper [Verifix/UKA/4], University of Karlsruhe, 1995.
Summary: An ASM for the DEC-Alpha processor family, derived directly from the original manufacturer's handbook. The specification omits certain less-used instructions and VAX compatibility parts.
Subjects: Hardware
Download: PostScript, PDF, Compressed PostScript
Notes:  
[an error occurred while processing this directive]