دانلود کتاب Formal Hardware Verification: Methods and Systems in Comparison
49,000 تومان
راستیآزمایی سختافزار رسمی: روشها و سیستمها در مقایسه
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 376 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540634754,9783540634751 |
| نوبت چاپ | 1 |
| نویسنده | Carl-Johan H. Seger (auth.), Scott Hazelhurst, Thomas Kropf (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
راستیآزمایی سختافزار رسمی: روشها و سیستمها در مقایسه
این تک نگاری پیشرفته یک بررسی منسجم از انواع روش ها و سیستم ها برای تأیید صحت سخت افزار رسمی ارائه می دهد. این بر ارائه رویکردهایی تأکید دارد که به ابزارها و سیستمهای قابل استفاده برای تأیید واقعی مدارهای غیر ضروری تبدیل شدهاند. در مجموع، این کتاب یک بررسی معرف و ساختار یافته در مورد موفقیت و پتانسیل آینده روش های رسمی در اثبات صحت مدارها است. فصول مختلف رویکردهای مربوطه را با ارائه مبانی نظری و همچنین با در نظر گرفتن دیدگاه کاربرد توصیف می کنند. با استفاده از تمام روشها و سیستمهای ارائهشده در مجموعه مشابهی از نمونههای راستیآزمایی سختافزاری IFIP WG10.5، یک تحلیل ارزشمند و منصفانه از نقاط قوت و ضعف رویکردهای مختلف ارائه میشود.
Formal Hardware Verification: Methods and Systems in Comparison
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.