Computer Architecture

Complexity and Correctness

Authors: Mueller, Silvia M., Paul, Wolfgang J.

Free Preview

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-3-662-04267-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 88,35 €
price for Spain (gross)
  • ISBN 978-3-540-67481-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 88,35 €
price for Spain (gross)
  • ISBN 978-3-642-08691-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other design approaches applied in practice and unlike other textbooks available, the design presented here are modular, clean and complete up to the construction of entire complex machines. The authors' systematically basing their approach on rigorous mathematical formalisms allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation as well as, generally speaking, for coverage of a broad variety of relevant issues within a reasonable number of pages. The book is written as a text for classes on computer architecture and related topics and will serve as a valuable source of reference for professionals in hardware design.

Table of contents (9 chapters)

Table of contents (9 chapters)

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-3-662-04267-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 88,35 €
price for Spain (gross)
  • ISBN 978-3-540-67481-8
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 88,35 €
price for Spain (gross)
  • ISBN 978-3-642-08691-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Architecture
Book Subtitle
Complexity and Correctness
Authors
Copyright
2000
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-04267-0
DOI
10.1007/978-3-662-04267-0
Hardcover ISBN
978-3-540-67481-8
Softcover ISBN
978-3-642-08691-5
Edition Number
1
Number of Pages
XIII, 553
Topics