The design and description of computer architectures

Incluye bibliografía. --

1. What is computer architecture? -- 2. The informal design process -- 3. the formal design process -- 4. Issues in language design -- 5. A language for describing computer architectures -- 6. Formal design of a microcode loader -- 7. An asynchronous architectural system -- 8. On the correctness of asynchronous architectural systems -- 9. Toward high-level microprogramming -- 10. A microprogramming language schema -- 11. A practical microprogramming language -- 12. On style in computer architecture -- 13. The outer environment -- 14. Design of an architecture: a case study -- Epilogue -- App. A. A definition of the architectural description language SA -- App. B. Syntax and semantics of the microprogramming language Schema S.