Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul, "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof" English | 2014 | pages: 359 | ISBN: 3319139053 | PDF | 5,5 mb
Petro Lutsyk, "A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof (Lecture Not" English | ISBN: 3030432424 | 2020 | 643 pages | PDF | 7 MB