دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Katarzyna Radecka, Zeljko Zilic سری: Frontiers in electronic testing, 25 ISBN (شابک) : 030648739X, 1402076525 ناشر: Kluwer Academic Publishers سال نشر: 2003 تعداد صفحات: 224 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
در صورت تبدیل فایل کتاب Verification by error modeling : using testing techniques in hardware verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید با مدل سازی خطا: استفاده از تکنیک های آزمایش در تأیید سخت افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مبنایی را برای استفاده مجدد از تولید بردار آزمون و شبیهسازی به منظور تأیید پیادهسازی ارائه میکند تا به صرفهجویی در زمان قابل توجهی منجر شود. این نتایج را در جهت ادغام تولید بردار تست تولید و تأیید می آورد.
This book presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. It brings the results in the direction of merging manufacturing test vector generation and verification.
Introduction....Pages 1-17
Boolean Function Representations....Pages 18-50
Don’t Cares and Their Calculation....Pages 51-69
Testing....Pages 71-102
Design Error Models....Pages 103-128
Design Verification by At....Pages 129-146
Identifying Redundant Gate and Wire Replacements....Pages 147-186
Conclusions and Future Work....Pages 187-190