Computer Architecture

Complexity and Correctness

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

Buy this book

eBook 71,39 €
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
  • Usually dispatched within 3 to 5 business days.
  • 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
  • Usually dispatched within 3 to 5 business days.
  • 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)

  • Introduction

    Mueller, Silvia Melitta (et al.)

    Pages 1-6

    Preview Buy Chapter 30,19 €
  • Basics

    Mueller, Silvia Melitta (et al.)

    Pages 7-62

    Preview Buy Chapter 30,19 €
  • A Sequential DLX Design

    Mueller, Silvia Melitta (et al.)

    Pages 63-104

    Preview Buy Chapter 30,19 €
  • Basic Pipelining

    Mueller, Silvia Melitta (et al.)

    Pages 105-170

    Preview Buy Chapter 30,19 €
  • Interrupt Handling

    Mueller, Silvia Melitta (et al.)

    Pages 171-237

    Preview Buy Chapter 30,19 €

Buy this book

eBook 71,39 €
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
  • Usually dispatched within 3 to 5 business days.
  • 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
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

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