» » A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof



Information of news
8-03-2015, 02:00

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof

Category: E-Books

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof by Mikhail Kovalev and Silvia Melitta Müller
English | 2014 | ISBN: 3319139053 | 352 pages | PDF | 5,5 MB


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 book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the future.

Constructions are in a gate level hardware model and thus deterministic. In contrast the reference models against which correctness is shown are nondeterministic. The development of the additional machinery for these proofs and the correctness proof of the shared memory at the gate level are the main technical contributions of this work.


Links are Interchangeable - No Password


rapidgator_net:
ieb8h.A.Pipelined.Multicore.MIPS.Machine.Hardware.Implementation.and.Correctness.Proof.pdf.html

uploaded_net:
ieb8h.A.Pipelined.Multicore.MIPS.Machine.Hardware.Implementation.and.Correctness.Proof.pdf

nitroflare_com:
ieb8h.A.Pipelined.Multicore.MIPS.Machine.Hardware.Implementation.and.Correctness.Proof.pdf

secureupload_eu:
ieb8h.A.Pipelined.Multicore.MIPS.Machine.Hardware.Implementation.and.Correctness.Proof.pdf

uploaded


Rapidgator.net
Site BBcode/HTML Code:

Tags to an Article: Pipelined, Multi, core, MIPS, Machine

Dear visitor, you went to the site as unregistered user.
We recommend you Sign up or Login to website under your name.
Information
Would you like to leave your comment? Please Login to your account to leave comments. Don't have an account? You can create a free account now.