Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof Kovalev, Mikhail Heftet / 2014 / Engelsk
