ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

دانلود کتاب راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT (سری در مدارها و سیستم های یکپارچه)

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

مشخصات کتاب

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

دسته بندی: الکترونیک: رادیو
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 0387691669, 9780387691671 
ناشر:  
سال نشر: 2007 
تعداد صفحات: 338 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 45,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 18


در صورت تبدیل فایل کتاب SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT (سری در مدارها و سیستم های یکپارچه) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT (سری در مدارها و سیستم های یکپارچه)

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


توضیحاتی درمورد کتاب به خارجی

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.



فهرست مطالب

Front Matter....Pages i-xxix
Design Verification Challenges....Pages 1-16
Background....Pages 17-40
Front Matter....Pages 41-41
Efficient Boolean Representation....Pages 43-62
Hybrid DPLL-Style SAT Solver....Pages 63-76
Front Matter....Pages 77-77
SAT-Based Bounded Model Checking....Pages 79-112
Distributed SAT-Based BMC....Pages 113-129
Efficient Memory Modeling in BMC....Pages 131-153
BMC for Multi-Clock Systems....Pages 155-171
Front Matter....Pages 173-173
Proof by Induction....Pages 175-183
Unbounded Model Checking....Pages 185-212
Front Matter....Pages 213-213
Proof-Based Iterative Abstraction....Pages 215-243
Front Matter....Pages 245-245
SAT-Based Verification Framework....Pages 247-261
Synthesis for Verification....Pages 263-295
Back Matter....Pages 297-326




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی