دانلود کتاب Abstraction Refinement for Large Scale Model Checking
49,000 تومان
اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer |
| تعداد صفحه | 185 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 0387341552,9780387346007,9780387341552 |
| نوبت چاپ | 1 |
| نویسنده | Chao Wang, Fabio Somenzi, Gary D. Hachtel |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ
اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ، تحقیقات اخیر در مورد تکنیک های انتزاعی برای بررسی مدل سیستم دیجیتال بزرگ را خلاصه می کند. با توجه به اندازه سیستمهای دیجیتال امروزی و ظرفیت الگوریتمهای تأیید صحت پیشرفته، انتزاع تنها راهحل مناسب برای کاربرد موفقیتآمیز تکنیکهای بررسی مدل در طرحهای مقیاس صنعتی است. این کتاب پیشرفت های تحقیقاتی اخیر در تکنیک های پالایش انتزاع خودکار را شرح می دهد. مجموعه ای از الگوریتم های ارائه شده در این کتاب پیشرفت قابل توجهی را نسبت به هنر قبلی نشان داده است. برخی از آنها قبلاً توسط شرکت های EDA در ابزارهای تأیید تجاری/داخلی خود به کار گرفته شده اند.
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today’s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.