دانلود کتاب Test pattern generation using Boolean proof engines
کتاب تولید الگوی آزمایشی با استفاده از موتورهای اثبات Boolean نسخه زبان اصلی
دانلود کتاب تولید الگوی آزمایشی با استفاده از موتورهای اثبات Boolean بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Test pattern generation using Boolean proof engines
نام کتاب : Test pattern generation using Boolean proof engines
ویرایش : 1
عنوان ترجمه شده به فارسی : تولید الگوی آزمایشی با استفاده از موتورهای اثبات Boolean
سری :
نویسندگان : Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
ناشر : Springer Netherlands
سال نشر : 2009
تعداد صفحات : 195
ISBN (شابک) : 9789048123599 , 9789048123605
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Front Matter....Pages i-xii
Introduction....Pages 1-8
Preliminaries....Pages 9-28
Boolean Satisfiability....Pages 29-42
SAT-Based ATPG....Pages 43-52
Learning Techniques....Pages 53-70
Multiple-Valued Logic....Pages 71-87
Improved Circuit-to-CNF Conversion....Pages 89-111
Branching Strategies....Pages 113-117
Integration into Industrial Flow....Pages 119-135
Delay Faults....Pages 137-171
Summary and Outlook....Pages 173-175
Back Matter....Pages 177-192