Overview
- Authors:
-
-
Silvia Melitta Mueller
-
IBM Lab Böblingen - Dept. 3173, Böblingen, Germany
-
Wolfgang J. Paul
-
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany
- Based on rigorous mathematical formalisms
- Completey modular design
- Correctness proofs for almost all components
- Coverage of the relevant issues within a reasonable number of pages
- Includes supplementary material: sn.pub/extras
Access this book
Other ways to access
Table of contents (9 chapters)
-
Front Matter
Pages i-xiii
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 1-6
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 7-62
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 63-104
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 105-170
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 171-237
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 239-316
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 317-349
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 351-437
-
- Silvia Melitta Mueller, Wolfgang J. Paul
Pages 439-517
-
Back Matter
Pages 519-553
About this book
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other design approaches applied in practice and unlike other textbooks available, the design presented here are modular, clean and complete up to the construction of entire complex machines. The authors' systematically basing their approach on rigorous mathematical formalisms allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation as well as, generally speaking, for coverage of a broad variety of relevant issues within a reasonable number of pages. The book is written as a text for classes on computer architecture and related topics and will serve as a valuable source of reference for professionals in hardware design.
Reviews
“The book is highly interesting to computer scientists … . It is very well written, although compact and for the specialist, or for a reader with a deep interest in the details of a RISC machine. … So this book can be recommended as the text for advanced, graduate-level hardware classes since after have worked through it the reader will be best prepared for starting a job in the hardware industry right away.” (Gottfried Vossen, zbMATH 0966.68023, 2022)
Authors and Affiliations
-
IBM Lab Böblingen - Dept. 3173, Böblingen, Germany
Silvia Melitta Mueller
-
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany
Wolfgang J. Paul