Computer Architecture

1. Front Matter

   Pages i-xiii

   PDF

2. Introduction

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 1-6

3. Basics

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 7-62

4. A Sequential DLX Design

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 63-104

5. Basic Pipelining

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 105-170

6. Interrupt Handling

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 171-237

7. Memory System Design

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 239-316

8. IEEE Floating Point Standard and Theory of Rounding

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 317-349

9. Floating Point Algorithms and Data Paths

   • Silvia Melitta Mueller, Wolfgang J. Paul

   Pages 351-437

10. Pipelined DLX Machine with Floating Point Core

    • Silvia Melitta Mueller, Wolfgang J. Paul

    Pages 439-517

11. Back Matter

    Pages 519-553

    PDF

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.

• Computer
• Hardware
• System
• circuit design
• computer architecture
• computer systems design
• formal method
• formal methods
• hardware design
• hardware specification
• hardware verification
• modular systems
• organization
• processor

“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)

• IBM Lab Böblingen - Dept. 3173, Böblingen, Germany

  Silvia Melitta Mueller

• Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany

  Wolfgang J. Paul

Policies and ethics