دانلود کتاب Constraint-Based Verification

Name: Constraint-Based Verification
Availability: InStock
Author: Jun Yuan
ISBN: 9780387259475, 9780387307848

by Jun Yuan

عنوان فارسی: بر اساس محدودیت تأیید
ناشر: Springer US
سال: 2006
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 254[257]
شابک: 9780387259475, 9780387307848
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name.Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered.Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues. Particular stress is given to the latest advances in functional verification.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!