کتاب الکترونیکی

معماری کامپیوتر، پیچیدگی و درستی

Computer Architecture, Complexity and Correctness

دانلود کتاب Computer Architecture, Complexity and Correctness (به فارسی: معماری کامپیوتر، پیچیدگی و درستی) نوشته شده توسط «Silvia M. Mueller – Wolfgang J. Paul»

اطلاعات کتاب معماری کامپیوتر، پیچیدگی و درستی

موضوع اصلی: علمی-محبوب

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Silvia M. Mueller – Wolfgang J. Paul

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2010

تعداد صفحه: 565

حجم کتاب: 3 مگابایت

کد کتاب: 9783642086915 , 3642086918

نوبت چاپ: 1st Edition.

توضیحات کتاب معماری کامپیوتر، پیچیدگی و درستی

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

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.

دانلود کتاب «معماری کامپیوتر، پیچیدگی و درستی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان