Computer Architecture: Complexity and Correctness - Silvia M. Mueller - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642086915 - 1 december 2010
Om omslag och titel inte matchar är det titeln som gäller

Computer Architecture: Complexity and Correctness Softcover Reprint of Hardcover 1st Ed. 2000 edition


Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in
Få avisering om nya utgåvor med Silvia M. Mueller
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis of modern computer architectures, based on mathematically well-founded formal methods which allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation. This book develops, at the gate level, the complete design of a pipelined RISC processor with a fully IEEE-compliant floating-point unit. In contrast to other design approaches, the design presented here is modular, clean and complete.


553 pages, 185 black & white tables, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 1 december 2010
ISBN13 9783642086915
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 553
Mått 150 × 220 × 10 mm   ·   1,37 kg
Språk Tyska  

Mer från samma **utgivare**