دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeout
دانلود کتاب تکنیک های پیشرفته تأیید: یک رویکرد مبتنی بر Systemc برای نوار موفقیت آمیز
مشخصات کتاب
Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeout
ویرایش: نویسندگان: Singh L., Drucker L., Khann N. سری: ISBN (شابک) : 1402080298 ناشر: سال نشر: 2004 تعداد صفحات: 387 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeout به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های پیشرفته تأیید: یک رویکرد مبتنی بر Systemc برای نوار موفقیت آمیز نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های پیشرفته تأیید: یک رویکرد مبتنی بر Systemc برای نوار موفقیت آمیز
"از آنجایی که اندازه و پیچیدگی تراشه به طور تصاعدی در حال رشد است، چالش های تایید عملکردی به یک مسئله مهم در صنعت الکترونیک تبدیل شده است. اکنون معمولا شنیده می شود که خطاهای منطقی از دست رفته در حین تایید عملکردی شایع ترین علت چرخش مجدد تراشه است." و اینکه هزینه‌های مرتبط با تأیید عملکردی اکنون بر هزینه‌های طراحی تراشه بیشتر است. برای مقابله با این چالش‌ها، مهندسان به طور فزاینده‌ای به روش‌ها و زبان‌های طراحی و تأیید جدید تکیه می‌کنند. طراحی و تأیید مبتنی بر تراکنش، تولید محرک تصادفی محدود، تحلیل پوشش عملکردی و راستی‌آزمایی مبتنی بر ادعا همگی تکنیک‌هایی هستند که امروزه تیم‌های طراحی و تأیید پیشرفته به‌طور معمول از آن‌ها استفاده می‌کنند. مهندسان همچنین به‌طور فزاینده‌ای به مدل‌های طراحی و تأیید مبتنی بر C/C++ و SystemC روی می‌آورند تا مدل‌های سخت‌افزاری و نرم‌افزاری انتزاعی‌تر و با کارایی بالاتر بسازند. برای فرار از محدودیت‌های RTL HDL. این کتاب جدید، تکنیک‌های تأیید پیشرفته: یک رویکرد مبتنی بر SystemC برای موفقیت‌آمیز Tapeout، راهنمایی خاصی برای این تکنیک‌های تأیید پیشرفته ارائه می‌دهد، تکنیک‌های تأیید پیشرفته: رویکرد مبتنی بر SystemC برای موفقیت‌آمیز Tapeout شامل مثال‌های واقع بینانه است و نشان می‌دهد که چگونه SystemC و SCV را می توان برای انواع کارهای طراحی پیشرفته و تأیید اعمال کرد.
توضیحاتی درمورد کتاب به خارجی
"As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional verification are now outweighing the costs of chip design. To cope with these challenges engineers are increasingly relying on new design and verification methodologies and languages. Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today. Engineers are also increasingly turning to design and verification models based on C/C++ and SystemC in order to build more abstract, higher performance hardware and software models and to escape the limitations of RTL HDLs. This new book, Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout, provides specific guidance for these advanced verification techniques, Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout includes realistic examples and shows how SystemC and SCV can be applied to a variety of advanced design and verification tasks.
فهرست مطالب
front-matter......Page 1
1Introduction......Page 18
2Verification Process......Page 34
3Using SCV for Verification......Page 61
4Functional Verification Testplan......Page 81
5Testbench Concepts using SystemC......Page 110
6Verification Methodology......Page 163
7RegressionSetup and Run......Page 225
8Functional Coverage......Page 246
9Dynamic Memory Modeling......Page 264
10Post Synthesis Gate Simulation......Page 288
back-matter......Page 309
