[an error occurred while processing this directive]
[an error occurred while processing this directive]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: |