A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof - Kovalev, Mikhail. (Springer International Publishing,)