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.
Format: Hardback
CONTRIBUTORS: Silvia M. Mueller
EAN: 9783540674818
COUNTRY: Germany
PAGES:
WEIGHT: 2860 g
HEIGHT: 254 cm
PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
DATE PUBLISHED: 2000-05-19
CITY:
GENRE: COMPUTERS / Computer Architecture, COMPUTERS / Information Technology, COMPUTERS / Hardware / General
WIDTH: 178 cm
SPINE:
Book Themes:
Computer hardware, Systems analysis and design, Computer architecture and logic design
“The book is highly interesting to computer scientists … . It is very well written, although compact and for the specialist, or for a reader with a deep interest in the details of a RISC machine. … So this book can be recommended as the text for advanced, graduate-level hardware classes since after have worked through it the reader will be best prepared for starting a job in the hardware industry right away.” (Gottfried Vossen, zbMATH 0966.68023, 2022)
