دانلود کتاب FM8501: A Verified Microprocessor
49,000 تومان
FM8501: یک ریزپردازنده تایید شده
| موضوع اصلی | الکترونیک: فناوری ریزپردازنده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 342 |
| حجم فایل | 1 مگابایت |
| کد کتاب | 3540579605,9783540579601,0387579605 |
| نوبت چاپ | 1 |
| نویسنده | Warren A. Hunt Jr. (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1994 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.