• Sign In
  • Help
  • My Basket0
Computer Architecture: Complexity and Correctness (Hardback)
  • Computer Architecture: Complexity and Correctness (Hardback)

Computer Architecture: Complexity and Correctness (Hardback)

(author), (author)
Hardback 553 Pages / Published: 19/05/2000
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540674818
Number of pages: 553
Weight: 2860 g
Dimensions: 254 x 178 x 31 mm
Edition: 2000 ed.

You may also be interested in...

Computer Systems Architecture
Added to basket
The ZX Spectrum ULA
Added to basket
Some Assembly Required
Added to basket
Articulating Design Decisions
Added to basket
Digital Design: International Editions
Added to basket
Assembly Language Step-by-step
Added to basket
Enterprise Data Architecture
Added to basket
Principles of Computer Hardware
Added to basket
Computer Architecture
Added to basket
Digital Design and Computer Architecture
Added to basket


Please sign in to write a review

Your review has been submitted successfully.