<p>This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives
The Complexity of Simple Computer Architectures
β Scribed by Silvia M. MΓΌller, Wolfgang J. Paul (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1995
- Tongue
- English
- Leaves
- 278
- Series
- Lecture Notes in Computer Science 995
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.
In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.
β¦ Table of Contents
Introduction....Pages 1-3
The formal architecture model....Pages 5-20
Functional modules....Pages 21-42
Hardwired control....Pages 43-58
Design of a minimal CPU....Pages 59-75
Design of the DLX machine....Pages 77-122
Trade-off analyses....Pages 123-140
Interrupt....Pages 141-178
Microprogrammed control....Pages 179-198
Further applications of the architecture model....Pages 199-199
β¦ Subjects
Control Structures and Microprogramming; Processor Architectures; System Performance and Evaluation; Arithmetic and Logic Structures; Electronics and Microelectronics, Instrumentation; Logic Design
π SIMILAR VOLUMES
<p>This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives
<p><span>This book gathers together much of the authorβs work β both old and new - to explore a number of the key increases in complexity seen in the natural world, seeking to explain each of them purely in terms of the features of fitness landscapes. In a very straightforward manner, the book intro
<p>This book gathers together much of the authorβs work β both old and new - to explore a number of the key increases in complexity seen in the natural world, seeking to explain each of them purely in terms of the features of fitness landscapes. In a very straightforward manner, the book introduces
<p>Chapters in <em>Fast Simulation of Computer Architectures</em> cover topics such as how to collect traces, emulate instruction sets, simulate microprocessors using execution-driven techniques, evaluate memory hierarchies, apply statistical sampling to simulation, and how to augment simulation wit