Faites connaître cet article à vos amis:
Computer Architecture: Complexity and Correctness Silvia M. Mueller Softcover Reprint of Hardcover 1st Ed. 2000 edition
Avez-vous un profil ? Connectez-vous
Recevez une notification pour les nouvelles sorties de Silvia M. Mueller
Ajouter à votre liste de souhaits iMusic
Computer Architecture: Complexity and Correctness
Silvia M. Mueller
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.
553 pages, 185 black & white tables, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 1 décembre 2010 |
| ISBN13 | 9783642086915 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 553 |
| Dimensions | 150 × 220 × 10 mm · 1,37 kg |
| Langue et grammaire | Allemand |