Computer Architecture: Complexity and Correctness - Hardcover

Mueller, Silvia M.; Paul, Wolfgang J.

 
9783540674818: Computer Architecture: Complexity and Correctness
Hardcover
ISBN 10: 3540674810 ISBN 13: 9783540674818
Publisher: Springer, 2000

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2000
Language
English
ISBN 10 
3540674810
ISBN 13 
9783540674818
Binding
Hardcover
Number of pages
566

Other Popular Editions of the Same Title

9783642086915: Computer Architecture: Complexity and Correctness

Featured Edition

ISBN 10:  3642086918 ISBN 13:  9783642086915
Publisher: Springer, 2010
Softcover