Silvia M. Müller - Böcker
Visar alla böcker från författaren Silvia M. Müller. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 9000 - Lecture Notes in Computer Science
Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness Proof
Häftad, Engelska, 2014
552 kr
Skickas inom 10-15 vardagar
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.
552 kr
Skickas inom 10-15 vardagar
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.