| 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: |