Computer Architecture: Complexity and Correctness - Rilegato

Muller, Silvia M.; Paul, Wolfgang J.

Rilegato

ISBN 10: 3540674810 ISBN 13: 9783540674818

Casa editrice: Springer-Verlag New York Inc, 2000

Riassunto

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.

Su questo libro

Contenuti

1 Introduction.- 2 Basics.- 3 A Sequential DLX Design.- 4 Basic Pipelining.- 5 Interrupt Handling.- 6 Memory System Design.- 7 IEEE Floating Point Standard and Theory of Rounding.- 8 Floating Point Algorithms and Data Paths.- 9 Pipelined DLX Machine with Floating Point Core.- A DLX Instruction Set Architecture.- A.1 DLX Fixed-Point Core: FXU.- A.1.1 Instruction Formats.- A.1.2 Instruction Set Coding.- A.2 Floating-Point Extension.- A.2.1 FPU Register Set.- A.2.2 FPU Instruction Set.- B Specification of the FDLX Design.- B.1 RTL Instructions of the FDLX.- B.1.l Stage IF.- B.1.2 Stage ID.- B.1.3 Stage EX.- B.1.4 Stage M.- B.1.5 Stage WB.- B.2 Control Automata of the FDLX Design.- B.2.1 Automaton Controlling Stage ID.- B.2.2 Precomputed Control.

Product Description

Springer, Berlin, 2000. XIII, 553 pages with 214 Figures and 185 Tables, hardcover -former library book in good condition-

Dettagli dell'edizione

• Editore: Springer-Verlag New York Inc
• Data di pubblicazione: 2000
• Lingua: Inglese
• ISBN 10: 3540674810
• ISBN 13: 9783540674818
• Rilegatura: Copertina rigida
• Numero di pagine: 553
• Contatto del produttore: non disponibile
• Persona responsabile: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Germania