دانلود کتاب 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 در ابزارهای تأیید تجاری/داخلی خود به کار گرفته شده اند.
دانلود کتاب «اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.