Computer Architecture
Complexity and Correctness
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.
CHF 122.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Paul, Wolfgang J.
- ISBN: 978-3-642-08691-5
- EAN: 9783642086915
- Produktnummer: 10688013
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 568 S.
- Masse: H28.2 cm x B21.0 cm x D3.2 cm 1'340 g
- Auflage: Softcover reprint of hardcover 1st ed. 2000
- Abbildungen: Paperback
- Gewicht: 1340
1 weiteres Werk von Silvia M. Mueller:
Bewertungen
Anmelden