دانلود کتاب FM8501: A Verified Microprocessor (به فارسی: FM8501: یک ریزپردازنده تایید شده) نوشته شده توسط «Warren A. Hunt Jr. (eds.)»
اطلاعات کتاب FM8501: یک ریزپردازنده تایید شده
موضوع اصلی: الکترونیک: فناوری ریزپردازنده
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Warren A. Hunt Jr. (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 342
حجم کتاب: 2 مگابایت
کد کتاب: 3540579605 , 9783540579601 , 0387579605
نوبت چاپ: 1
توضیحات کتاب FM8501: یک ریزپردازنده تایید شده
ریزپردازنده FM 8501 به عنوان یک ریزپردازنده عمومی تا حدودی شبیه به PDP-11 اختراع شد. ایده اصلی تلاش FM 8501 این بود که ببینیم آیا امکان بیان مشخصات سطح کاربر و اجرای طراحی با استفاده از منطق رسمی، منطق بویر مور وجود دارد یا خیر. این رویکرد به اثبات مکانیکی کامل اجازه می دهد که پیاده سازی FM 8501 به طور کامل مشخصات خود را پیاده سازی کند. مدل پیاده‌سازی FM 8501 برای طراحی سخت‌افزار صنعتی ناکافی بود، اما این تلاش گام مهمی در تکامل روش تأیید طراحی که اکنون توسط نویسنده استفاده می‌شود، بود.
نسخه اصلی این تک‌نگاره به‌عنوان پایان‌نامه در دانشگاه ارائه شد. دانشگاه تگزاس در آستین تحت مشاوره R. Boyer و J. Moore.
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now employed by the author.
The original version of this monograph was submitted as a dissertation at the University of Texas at Austin under the advisorship of R. Boyer and J. Moore.
دانلود کتاب «FM8501: یک ریزپردازنده تایید شده»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.