The Complexity of Simple Computer Architectures [electronic resource] /
edited by Silvia M. Müller, Wolfgang J. Paul.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1995.
- XII, 273 p. online resource.
- Lecture Notes in Computer Science, 995 0302-9743 ; .
- Lecture Notes in Computer Science, 995 .
The formal architecture model -- Functional modules -- Hardwired control -- Design of a minimal CPU -- Design of the DLX machine -- Trade-off analyses -- Interrupt -- Microprogrammed control -- Further applications of the architecture model.
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.
9783540477747
10.1007/3-540-60580-0 doi
Computer science.
Microprogramming.
Logic design.
Computer system performance.
Electronics.
Computer Science.
Control Structures and Microprogramming.
Processor Architectures.
System Performance and Evaluation.
Arithmetic and Logic Structures.
Electronics and Microelectronics, Instrumentation.
Logic Design.
QA76.635
005.18
The formal architecture model -- Functional modules -- Hardwired control -- Design of a minimal CPU -- Design of the DLX machine -- Trade-off analyses -- Interrupt -- Microprogrammed control -- Further applications of the architecture model.
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.
9783540477747
10.1007/3-540-60580-0 doi
Computer science.
Microprogramming.
Logic design.
Computer system performance.
Electronics.
Computer Science.
Control Structures and Microprogramming.
Processor Architectures.
System Performance and Evaluation.
Arithmetic and Logic Structures.
Electronics and Microelectronics, Instrumentation.
Logic Design.
QA76.635
005.18