دانلود کتاب Advanced Formal Verification

کتاب Advanced Formal Verification آخرین تحولات در حوزه Verification از دیدگاه کاربر و توسعه دهنده را نشان می دهد. کارشناسان برجسته جهانی روشی اساسی از ابزار Verification امروزی و حالات عملی صنعتی را توصیف می کنند. در بخش اول کتاب به معرفی تکنیک های اصلی از ابزار verification رسمی امروزی، مانند SAT و BDDs پرداخته شده است. علاوه بر این، ضرب، که به مشکل بودن شناخته می شود، مورد مطالعه قرار گرفته است. بخش دوم بینشی در مورد ابزار حرفه ای و روش های اساسی، مانند property checking و پاسخ گویی بر مبنای verification را ارائه می دهد. در نهایت، قطعات آنالوگ در مقابل طرح سیستم بر روی تراشه (system on chip designs) مطرح می شود .

توضیحات

اطلاعات کتاب:

نویسنده: Rolf Drechsler ISBN-10: 1402077211
ناشر: Springer ISBN-13: 978-1402077210
ویرایش: ویرایش اول تاریخ انتشار: January 31, 2004
تعداد صفحات: 250 رتبه فروش در سایت آمازون: #1508 در دسته ی Design
فرمت کتاب: PDF #2964 در دسته ی CAD
کیفیت صفحات: اصلی #3077 در دسته ی Data Processing

خلاصه ای از کتاب:

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.

دانلود کنید:

Download “1402077211” Advanced_Formal_Verification_1402077211.pdf – 32 بار دانلود شده است – 4 مگابایت

اطلاعات بیشتر

زبان

انتشارات

سال انتشار

نقد و بررسی‌ها

هیچ دیدگاهی برای این محصول نوشته نشده است.

اولین کسی باشید که دیدگاهی می نویسد “دانلود کتاب Advanced Formal Verification”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *