Mueller / Paul

Computer Architecture

Complexity and Correctness
Springer Book Archives
1st Edition. Softcover version of original hardcover edition 2000 2010. Buch. xiii, 553 S.: 185 s/w-Tabelle, Bibliographien. Softcover
Springer ISBN 978-3-642-08691-5
Format (B x L): 19,3 x 24,2 cm
Gewicht: 1367 g
In englischer Sprache
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.



lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht
90,90 €
inkl. MwSt.
Based on rigorous mathematical formalisms Completey modular design Correctness proofs for almost all components Coverage of the relevant issues within a reasonable number of pages