A pipelined multi-core MIPS machine : hardware implementation and correctness proof - Kovalev, Mikhail (Springer, 2014)