Computer Architecture, Fachbücher von Wolfgang J. Paul, Silvia M. Mueller

Das Buch "Computer Architecture: Complexity and Correctness" bietet eine umfassende und detaillierte Analyse der Architektur von Computern, insbesondere der Konstruktion eines pipelined RISC-Prozessors. Es behandelt verschiedene Aspekte wie verzögerte Sprünge, Datenweiterleitung, Hardware-Interlocks, präzise maskierbare verschachtelte Interrupts, Caches und eine vollständig IEEE-konforme Fliesskommaeinheit. Im Gegensatz zu anderen Lehrbüchern und praktischen Ansätzen zeichnet sich dieses Werk durch einen modularen und klaren Designansatz aus, der bis zur Konstruktion komplexer Maschinen reicht. Die Autoren verwenden rigorose mathematische Formalismen, um die Korrektheit der Designs zu beweisen, die Hardwarekosten genau zu bestimmen und die Leistung zu bewerten. Dieses Buch ist sowohl für Studierende als auch für Fachleute im Bereich Hardware-Design eine wertvolle Ressource.