Computer Architecture Complexity and Correctness

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2000
Author:
Silvia M. Mueller, Wolfgang J. Paul
ISBN:
9783662042670
Related ISBNs:
9783540674818
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-08-28
Usage restrictions:
Copyright
Copyright date:
2000
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction