1
A Pipelined Multi-core MIPS Machine [E-Book] : Hardware Implementation and Correctness Proof /