A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof

by Wolfgang J. Paul, Jonas Oberhauser, Petro Lutsyk

This work is building on results from the book named "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness" by M. Kovalev, S.M. M?ller, and W.J. Paul, published as LNCS 9000 in 2014.

It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features:

- MIPS instruction set architecture (ISA)...

• Format: Paperback
• Language: English
• ISBN: 3030432424
• ISBN13: 9783030432423
• Release Date: May 2020
• Publisher: Springer
• Length: 628 Pages
• Weight: 1.96 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"