اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ

دانلود کتاب Abstraction Refinement for Large Scale Model Checking (به فارسی: اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ) نوشته شده توسط «Chao Wang – Gary D. Hachtel – Fabio Somenzi»

اطلاعات کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ

موضوع اصلی: 1

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

ناشر: Springer

نویسنده: Chao Wang – Gary D. Hachtel – Fabio Somenzi

زبان: English

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

سال انتشار: 2006

تعداد صفحه: 185

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

کد کتاب: 0387341552 , 9780387346007 , 9780387341552

نوبت چاپ: 1

توضیحات کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ

اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ، تحقیقات اخیر در مورد تکنیک های انتزاعی برای بررسی مدل سیستم دیجیتال بزرگ را خلاصه می کند. با توجه به اندازه سیستم‌های دیجیتال امروزی و ظرفیت الگوریتم‌های تأیید صحت پیشرفته، انتزاع تنها راه‌حل مناسب برای کاربرد موفقیت‌آمیز تکنیک‌های بررسی مدل در طرح‌های مقیاس صنعتی است. این کتاب پیشرفت های تحقیقاتی اخیر در تکنیک های پالایش انتزاع خودکار را شرح می دهد. مجموعه ای از الگوریتم های ارائه شده در این کتاب پیشرفت قابل توجهی را نسبت به هنر قبلی نشان داده است. برخی از آنها قبلاً توسط شرکت های EDA در ابزارهای تأیید تجاری/داخلی خود به کار گرفته شده اند.

دانلود کتاب «اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ»