توضیحات
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.
————————————————————–
ترجمه ماشینی :
صحت سخت افزار در طراحی سیستم های کامپیوتری اهمیت بیشتری پیدا می کند. نویسندگان یک رویکرد جدید قدرتمند را برای طراحی و تجزیه و تحلیل معماریهای رایانهای مدرن، بر اساس روشهای رسمی مبتنی بر ریاضیات معرفی میکنند که به اثبات صحت دقیق، تعیین دقیق هزینههای سختافزار و ارزیابی عملکرد اجازه میدهد. این کتاب، در سطح دروازه، طراحی کامل یک پردازنده RISC خط لوله با یک واحد ممیز شناور کاملاً مطابق با IEEE را توسعه میدهد. برخلاف سایر رویکردهای طراحی، طرح ارائه شده در اینجا مدولار، تمیز و کامل است.
tag : دانلود کتاب معماری رایانه ، پیچیدگی و صحت , Download معماری رایانه ، پیچیدگی و صحت , دانلود معماری رایانه ، پیچیدگی و صحت , Download Computer Architecture, Complexity and Correctness Book , معماری رایانه ، پیچیدگی و صحت دانلود , buy معماری رایانه ، پیچیدگی و صحت , خرید کتاب معماری رایانه ، پیچیدگی و صحت , دانلود کتاب Computer Architecture, Complexity and Correctness , کتاب Computer Architecture, Complexity and Correctness , دانلود Computer Architecture, Complexity and Correctness , خرید Computer Architecture, Complexity and Correctness , خرید کتاب Computer Architecture, Complexity and Correctness ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.