Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/alpha.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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]
URL:
http://web.eecs.umich.edu/gasm/papers/alpha.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT