This book presents a formal model for evaluating the cost effectiveness of computer architectures. 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.
Les mer
Springer Book Archives
Springer Book Archives

Produktdetaljer

ISBN
9783540605805
Publisert
1995-10-25
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
233 mm
Bredde
155 mm
Aldersnivå
Professional/practitioner, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
12