Reihe Theoretical Computer Science and General IssuesMikhail Kovalev ×eBooks × A Pipelined Multi-core MIPS MachineHardware Implementation and Correctness ProofMikhail KovalevSpringer International PublishingeBook2014