Description: A Pipelined Multi-core MIPS Machine by Wolfgang J. Paul, Mikhail Kovalev, Silvia M. MÜller Estimated delivery 3-12 business days Format Paperback Condition Brand New Description 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. Publisher Description This monograph is based on the third authors 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. Details ISBN 3319139053 ISBN-13 9783319139050 Title A Pipelined Multi-core MIPS Machine Author Wolfgang J. Paul, Mikhail Kovalev, Silvia M. MÜller Format Paperback Year 2014 Pages 352 Edition 2014th Publisher Springer International Publishing AG GE_Item_ID:137611466; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys
Price: 76.42 USD
Location: Fairfield, Ohio
End Time: 2024-11-18T03:02:47.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN-13: 9783319139050
Book Title: A Pipelined Multi-core MIPS Machine
Number of Pages: Xii, 352 Pages
Publication Name: Pipelined Multi-Core Mips Machine : Hardware Implementation and Correctness Proof
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2014
Subject: Systems Architecture / Distributed Systems & Computing, Programming / General, Programming / Algorithms, Software Development & Engineering / General, Hardware / General
Item Weight: 194.1 Oz
Type: Textbook
Author: Mikhail Kovalev, Wolfgang J. Paul, Silvia M. Müller
Subject Area: Computers
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
