Computer Architecture: Complexity and Correctness

معماری کامپیوتر: پیچیدگی و درستی، در سطح دروازه، طراحی کامل یک پردازنده RISC خط لوله با انشعاب تاخیری، ارسال، قفل سخت افزاری، وقفه های تودرتوی قابل پوشش دقیق، حافظه های پنهان و یک واحد ممیز شناور کاملاً مطابق با IEEE را توسعه می دهد. برخلاف سایر رویکردهای طراحی که در عمل به کار می روند و بر خلاف سایر کتاب های درسی موجود، طرح ارائه شده در اینجا ماژولار، تمیز و کامل تا ساخت کل ماشین های پیچیده است. نویسندگان که به طور سیستماتیک رویکرد خود را بر فرمالیسم‌های ریاضی دقیق قرار می‌دهند، امکان اثبات صحت دقیق، تعیین دقیق هزینه‌های سخت‌افزار، و ارزیابی عملکرد و همچنین، به طور کلی، پوشش طیف گسترده‌ای از مسائل مرتبط را در تعداد معقولی از صفحات فراهم می‌کند. این کتاب به‌عنوان متنی برای کلاس‌های معماری کامپیوتر و موضوعات مرتبط نوشته شده است و به عنوان منبعی ارزشمند برای متخصصان طراحی سخت‌افزار خواهد بود.

Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other design approaches applied in practice and unlike other textbooks available, the design presented here are modular, clean and complete up to the construction of entire complex machines. The authors' systematically basing their approach on rigorous mathematical formalisms allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation as well as, generally speaking, for coverage of a broad variety of relevant issues within a reasonable number of pages. The book is written as a text for classes on computer architecture and related topics and will serve as a valuable source of reference for professionals in hardware design.