A Pipelined Multi-core MIPS Machine, Fachbücher von Wolfgang J. Paul, Mikhail Kovalev, Silvia M. Müller

Das Buch "A Pipelined Multi-core MIPS Machine" bietet eine umfassende Analyse der Architektur von Mehrkernprozessoren, die auf einem pipelined MIPS-Prozessor basieren. Es basiert auf Vorlesungen, die im Sommersemester 2013 an der Universität des Saarlandes gehalten wurden. Die Monografie behandelt die Konstruktion eines Mehrkernsystems mit einer deterministischen Gate-Level-Implementierung und einer sequenziell konsistenten gemeinsamen Speicherarchitektur. Ein zentrales Merkmal des Buches sind die ersten Korrektheitsbeweise für die Gate-Level-Implementierung eines Mehrkernprozessors sowie für den Cache-basierten, sequenziell konsistenten gemeinsamen Speicher. Diese Beweise ebnen den Weg für die zukünftige formale Verifikation von synthesizable Hardware für Mehrkernprozessoren. Die Arbeit stellt somit einen bedeutenden Beitrag zur technischen Entwicklung in der Computerarchitektur dar.