A Pipelined Multi-core MIPS Machine: Hardware Implementation by Mikhail Kovalev,Silvia M. Müller,Wolfgang J. Paul PDF

By Mikhail Kovalev,Silvia M. Müller,Wolfgang J. Paul

This monograph is predicated at the 3rd author's lectures on desktop structure, given in the summertime semester 2013 at Saarland college, Germany. It incorporates a gate point building of a multi-core laptop with pipelined MIPS processor cores and a sequentially constant shared memory.

The ebook includes the 1st correctness proofs for either the gate point implementation of a multi-core processor and likewise of a cache established sequentially constant shared reminiscence. This opens find out how to the formal verification of synthesizable for multi-core processors within the future.

Constructions are in a gate point version and therefore deterministic. by contrast the reference versions opposed to which correctness is proven are nondeterministic. the improvement of the extra equipment for those proofs and the correctness facts of the shared reminiscence on the gate point are the most technical contributions of this work.

Show description

Read Online or Download A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof (Lecture Notes in Computer Science) PDF

Similar systems architecture books

Download e-book for kindle: Computer Organization and Design: The Hardware/Software by David A. Patterson,John L. Hennessy

Computing device association and layout, Fourth variation, has been up to date with new routines and enhancements all through urged by way of teachers educating from the e-book. It covers the innovative switch from sequential to parallel computing, with a bankruptcy on parallelism and sections in each bankruptcy highlighting parallel and software program subject matters.

Download e-book for kindle: Microprocessor 8086: Architecture, Programming and by Sunil Mathur

Basically meant for the undergraduate scholars of electronics and communique engineering, computing device technology and engineering, and knowledge know-how, this booklet skilfully integrates either the and software program facets of the 8086 microprocessor. It deals the scholars an up to date account of the state of the art microprocessors and for this reason will be considered as an incomparable resource of data on lately constructed microprocessor chips.

New PDF release: Embedded Linux System Design and Development

Dependent upon the authors' adventure in designing and deploying an embedded Linux process with various functions, Embedded Linux process layout and improvement features a complete embedded Linux procedure improvement roadmap for platforms architects and software program programmers. Explaining the problems that come up out of using Linux in embedded platforms, the e-book allows stream to embedded Linux from conventional real-time working platforms, and describes the approach layout version containing embedded Linux.

Get Sports Engineering and Computer Science: Proceedings of the PDF

Activities Engineering and machine technological know-how includes papers offered on the 2014 foreign convention on game technology and laptop technology (SSCS 2014), held September 16-17, 2014 in Singapore and on the 2014 foreign convention on Biomechanics and activities Engineering (BSE 2014), held October 24-25, 2014, in Riga, Latvia.

Additional resources for A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof (Lecture Notes in Computer Science)

Example text

Download PDF sample

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof (Lecture Notes in Computer Science) by Mikhail Kovalev,Silvia M. Müller,Wolfgang J. Paul


by Daniel
4.3

Rated 4.92 of 5 – based on 34 votes