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 120.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Paul, Wolfgang J.
- ISBN: 978-3-540-67481-8
- EAN: 9783540674818
- Produktnummer: 16464303
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2000
- Seitenangabe: 553 S.
- Masse: H25.1 cm x B20.3 cm x D4.0 cm 1'197 g
- Auflage: 2000. 2000
- Abbildungen: Book; 185 schwarz-weiße Tabellen, Bibliographie
- Gewicht: 1197
1 weiteres Werk von Silvia M. Mueller:
Bewertungen
Anmelden