دانلود کتاب Advanced formal verification (به فارسی: تأیید رسمی پیشرفته) نوشته شده توسط «Rolf Drechsler»
اطلاعات کتاب تأیید رسمی پیشرفته
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Rolf Drechsler
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 277
حجم کتاب: 3 مگابایت
کد کتاب: 9781402077210 , 1402077211
نوبت چاپ: 1
توضیحات کتاب تأیید رسمی پیشرفته
مدارهای مدرن ممکن است حاوی چند صد میلیون ترانزیستور باشند. در این میان، مشاهده شده است که تأیید به گلوگاه اصلی در جریانهای طراحی تبدیل میشود، یعنی تا 80 درصد از هزینههای کلی طراحی به دلیل تأیید است. این یکی از دلایلی است که چرا چندین روش به عنوان جایگزینی برای شبیه سازی کلاسیک پیشنهاد شده است. شبیه سازی به تنهایی نمی تواند پوشش کافی از طراحی را تضمین کند که منجر به اشکالاتی می شود که ممکن است شناسایی نشده باقی بمانند.
به عنوان جایگزین، تکنیک های تأیید رسمی پیشنهاد شده است. به جای شبیه سازی یک طرح، صحت آن با تکنیک های رسمی ثابت می شود. حوزه های مختلفی وجود دارد که می توان از این رویکردها استفاده کرد: بررسی هم ارزی، بررسی اموال یا شبیه سازی نمادین. این روشها با موفقیت در بسیاری از پروژههای صنعتی به کار گرفته شده و در زمینههای مختلف به تکنیک پیشرفته تبدیل شدهاند. با این حال، استقرار ابزارهای موجود در پروژه های دنیای واقعی نیز ضعف ها و مشکلات تکنیک های تأیید رسمی را نشان داد. این انگیزه انگیزشی برای توسعه دهندگان ابزار و محققان ایجاد کرد. Advanced Formal Verification آخرین پیشرفتها در حوزه تأیید را از دیدگاه کاربر و توسعهدهنده نشان میدهد. کارشناسان برجسته جهان، روشهای اساسی ابزارهای راستیآزمایی امروزی را توصیف میکنند و سناریوهای مختلفی را از عملکرد صنعتی توصیف میکنند. در بخش اول کتاب به تکنیک های اصلی ابزارهای تأیید رسمی امروزی، مانند SAT و BDD پرداخته شده است. علاوه بر این، ضریب هایی که به سختی شناخته شده اند، مورد مطالعه قرار می گیرند. بخش دوم بینشی در مورد ابزارهای حرفه ای و روش های اساسی، مانند بررسی اموال و تأیید مبتنی بر ادعا می دهد. در نهایت، اجزای آنالوگ باید در نظر گرفته شوند تا با سیستم کامل بر روی طرح های تراشه کنار بیایند. در این کتاب، پیشرفت های روز در بسیاری از زمینه های مهم تأیید رسمی تشریح شده است. علاوه بر شرح آخرین نتایج تحقیقاتی، به مشکلات باز و حوزه های چالش برانگیز تحقیقاتی پرداخته شده است. به همین دلیل، این کتاب برای توسعه دهندگان و محققان CAD در حوزه تأیید در نظر گرفته شده است، جایی که تکنیک های رسمی به یک فناوری اصلی برای طراحی موفق مدار و سیستم تبدیل می شوند. علاوه بر این، این کتاب یک مرجع عالی برای کاربران ابزارهای تأیید است تا درک بهتری از اصول داخلی به دست آورند و متعاقباً ابزارها را به بالاترین عملکرد هدایت کنند. در این زمینه، این کتاب به کسانی که در صنعت و دانشگاه هستند اختصاص داده شده است تا از آخرین تحولات در زمینه تأیید رسمی مطلع شوند.
As alternatives formal verification techniques have been proposed. Instead of simulating a design the correctness is proven by formal techniques. There are different areas where these approaches can be used: equivalence checking, property checking or symbolic simulation. These methods have been successfully applied in many industrial projects and have become the state-of-the-art technique in several fields. However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques. This gave motivating impulses for tool developers and researchers. Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. In this book the state-of-the-art in many important fields of formal verification are described. Besides the description of the most recent research results, open problems and challenging research areas are addressed. Because of this, the book is intended for CAD developers and researchers in the verification domain, where formal techniques become a core technology to successful circuit and system design. Furthermore, the book is an excellent reference for users of verification tools in order to acquire a better understanding of the internal principles and subsequently drive the tools to the highest performance. In this context the book is dedicated to those in industry and academia to stay informed about the most recent developments in the field of formal verification.
دانلود کتاب «تأیید رسمی پیشرفته»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.