A book cover for A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues); Mikhail Kovalev; Computers & Technology;