Artículos relacionados a Computer Architecture: Complexity and Correctness

Computer Architecture: Complexity and Correctness - Tapa dura

Mueller, Silvia M.; Paul, Wolfgang J.

 
9783540674818: Computer Architecture: Complexity and Correctness

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.