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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Descripción Springer, 2010. Paperback. Estado de conservación: NEW. 9783642086915 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0350930
Descripción Springer, 2010. Estado de conservación: New. This item is printed on demand for shipment within 3 working days. Nº de ref. de la librería LP9783642086915
Descripción Springer, 2010. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M3642086918