TY  - BOOK
AU  - Müller,Silvia M.
AU  - Paul,Wolfgang J.
ED  - SpringerLink (Online service)
TI  - The Complexity of Simple Computer Architectures
T2  - Lecture Notes in Computer Science,
SN  - 9783540477747
AV  - QA76.635 
U1  - 005.18 23
PY  - 1995///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Microprogramming
KW  - Logic design
KW  - Computer system performance
KW  - Electronics
KW  - Computer Science
KW  - Control Structures and Microprogramming
KW  - Processor Architectures
KW  - System Performance and Evaluation
KW  - Arithmetic and Logic Structures
KW  - Electronics and Microelectronics, Instrumentation
KW  - Logic Design
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/3-540-60580-0
ER  -