Computer Architecture: Complexity and Correctness

by Wolfgang J. Paul, Silvia M. Müller, Mueller

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 3540674810
• ISBN13: 9783540674818
• Release Date: May 2000
• Publisher: Springer
• Length: 553 Pages
• Weight: 2.70 lbs.
• Dimensions: 1.4" x 8.1" x 9.8"