Institut für Rechnerarchitektur
und Parallelrechner
Multicore System Architecture
Lecture Notes
Paul, Wolfgang J. & Lutsyk, Petro. & Oberhauser, Jonas. Multi Core System Architecture A Pipelined Multi Core MIPS Machine: Hardware Implementation and Correctness Proof

Computer Architecture
Müller, S.M. and Paul, W.J. Computer Architecture, Complexity and Correctness Springer Verlag ISBN 3-540-67481-0
Please also take a look at the errata list for known bugs.
Kovalev, Mikhail, Müller, Silvia Melitta, Paul, Wolfgang J. A Pipelined Multi-core MIPS Machine Springer Verlag ISBN 978-3-319-13906-7

Wolfgang J. Paul., Christoph Baumann, Petro Lutsyk and Sabine Schmaltz System Architecture as an Ordinary Engineering Discipline