دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: تحلیل و بررسی ویرایش: 1 نویسندگان: Andrew Piziali سری: ISBN (شابک) : 9781402080258, 9781402080265 ناشر: سال نشر: 2004 تعداد صفحات: 230 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Functional Verification Coverage Measurement and Analysis (2004) (Information Technology: Transmission, Processing and Storage) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اندازهگیری و تحلیل پوشش تأیید عملکردی (2004) (فناوری اطلاعات: انتقال، پردازش و ذخیرهسازی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب به ابزاری برای ارزیابی کمی پیشرفت تأیید عملکردی می پردازد. بدون این فرآیند، مهندسین طراحی و تأیید، و مدیریت آنها، حدس می زنند که آیا تأیید دستگاهی را که طراحی می کنند کامل کرده اند یا خیر. با استفاده از تکنیک های توضیح داده شده در این کتاب، آنها یاد خواهند گرفت که چگونه یک مجموعه ابزار بسازند که به آنها امکان می دهد بدانند که چقدر به بسته شدن عملکردی نزدیک هستند. این اولین کتابی است که یک طبقه بندی مفید برای پوشش طبقه بندی متریک معرفی می کند. با استفاده از این طبقه بندی، خواننده به وضوح فرآیند ایجاد یک مدل پوشش موثر را درک خواهد کرد. این کتاب یک درمان متفکرانه و جامع از موضوع خود را برای هر کسی که واقعاً در مورد تأیید عملکرد جدی است ارائه می دهد.
This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. This is the first book to introduce a useful taxonomy for coverage of metric classification. Using this taxonomy, the reader will clearly understand the process of creating an effective coverage model. This book offers a thoughtful and comprehensive treatment of its subject for anybody who is really serious about functional verification.
Front Matter....Pages i-xx
The Language of Coverage....Pages 5-13
Functional Verification....Pages 15-30
Measuring Verification Coverage....Pages 31-38
Functional Coverage....Pages 39-78
Code Coverage....Pages 79-95
Assertion Coverage....Pages 97-107
Coverage-Driven Verification....Pages 109-137
Improving Coverage Fidelity With Hybrid Models....Pages 139-150
Back Matter....Pages 151-213