Hardware Implementation and Correctness Proof
by
Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul
Language: English
Release Date: November 24, 2014
This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.
The...