دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Writing Testbenches Functional Verification Of Hdl Models
دانلود کتاب نوشتن نیمکت های آزمایش تأیید عملکرد مدل های Hdl
مشخصات کتاب
Writing Testbenches Functional Verification Of Hdl Models
ویرایش: 2nd
نویسندگان: Janick Bergeron
سری:
ISBN (شابک) : 9781402074011, 1402074018
ناشر: Springer
سال نشر: 2003
تعداد صفحات: 358
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 62,000
در صورت تبدیل فایل کتاب Writing Testbenches Functional Verification Of Hdl Models به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نوشتن نیمکت های آزمایش تأیید عملکرد مدل های Hdl نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نوشتن نیمکت های آزمایش تأیید عملکرد مدل های Hdl
ویرایش دوم Writing Testbenches، تایید عملکردی مدلهای HDL جدیدترین تکنیکهای راستیآزمایی را برای تولید اولین ASICهای سیلیکونی کاملاً کاربردی، سیستمهای روی تراشه (SoC)، بردها و کل سیستمها ارائه میکند.
از پیشگفتار: بر اساس نسخه اول، \"...موفق ترین و محبوب ترین کتاب درسی راستی آزمایی معاصر\"، نویسنده سطح تأیید انتزاع را با معرفی خود بررسی تصادفی در سطح تراکنش مبتنی بر پوشش بالا می برد. میزهای تست - همه از طریق معرفی زبانهای تأیید سختافزار (HVL) مانند e از Verisity و OpenVera از Synopsys...\" هری فاستر، معمار ارشد، Verplex Systems، Inc. موضوعات موجود در ویرایش دوم جدید امکانپذیر شد: + بحث در مورد OpenVera و e؛ + رویکردهایی برای نوشتن مولدهای محرک تصادفی محدود؛ + استراتژیهایی برای ساختن خودآزماییکننده تستها؛ + طرحی واضح از فرآیند تأیید با هدف موفقیت برای اولین بار؛ + پیشرفتهای اخیر در تأیید عملکردی مانند پوشش محور فرآیند تأیید؛ + معناشناسی زبان VHDL و Verilog؛ + معناشناسی در زبان های جدید تأیید گرا + تکنیک هایی برای اعمال محرک و نظارت بر پاسخ یک طرح ارائه شده است. + مدلسازی رفتاری با استفاده از سازههای غیرقابل ترکیب و سبک کدگذاری؛ + برای Verilog 2001 به روز شد.
توضیحاتی درمورد کتاب به خارجی
The Second Edition of Writing Testbenches, Functional Verification of HDL Models presents the latest verification techniques to produce fully functional first silicon ASICs, systems-on-a-chip (SoC), boards and entire systems.
From the Foreword: Building on the first edition, " ...the most successful and popular contemporary verification textbook", the author raises the verification level of abstraction by introducing coverage-driven constrained random transaction-level self-checking testbenches - all made possible through the introduction of hardware verification languages (HVLs) such as e from Verisity and OpenVera from Synopsys...." Harry Foster, Chief Architect, Verplex Systems, Inc. Topics included in the new Second Edition: + Discussions on OpenVera and e; + approaches for writing constrainable random stimulus generators; + strategies for making testbenches self-checking; + a clear blueprint of a verification process that aims for first time success; + recent advances in functional verification such as coverage-driven verification process; + VHDL and Verilog language semantics; + the semantics are presented in new verification-oriented languages + techniques for applying stimulus and monitoring the response of a design; + behavioral modeling using non-synthesizeable constructs and coding style; + updated for Verilog 2001.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Axonal Conduction Time and Human Cerebral Laterality-A Psycological Theory
دانلود کتاب Imam Khomeini - A Short Biography
دانلود کتاب Michael. The Macro-Economic Situation in the USSR. Retrospect and Prospect
