Computer Architecture - Complexity and Correctness (Hardcover, 2000 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	May 2000
First published:	2000
Authors:	Silvia M. Mueller • Wolfgang J. Paul
Dimensions:	254 x 178 x 31mm (L x W x T)
Format:	Hardcover
Pages:	553
Edition:	2000 ed.
ISBN-13:	978-3-540-67481-8
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	3-540-67481-0
Barcode:	9783540674818

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!