مشخصات کتاب

ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies

ویرایش:  
نویسندگان: Mehta. Ashok B  
سری:  
ISBN (شابک) : 9783319594187, 9783319594170 
ناشر:  
سال نشر:  
تعداد صفحات: 346 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 17 مگابایت 

در صورت تبدیل فایل کتاب ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید طراحی عملکردی ASIC/SoC: راهنمای جامع فناوری ها و روش ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تأیید طراحی عملکردی ASIC/SoC: راهنمای جامع فناوری ها و روش ها

این کتاب با جزئیات تمام فناوری‌ها و روش‌های مورد نیاز برای ایجاد یک استراتژی و محیط تأیید طراحی جامع و کاربردی را برای مقابله با سخت‌ترین کار تضمین سیلیکون کارکردن اولین گذر توضیح می‌دهد. نویسنده ابتدا تمام زیرمجموعه‌های تأیید را در سطح بالایی ترسیم می‌کند، با عمق کافی که به مهندس اجازه می‌دهد قبل از پرداختن به جزئیات آن، میدان را درک کند. او سپس فناوری‌های استاندارد صنعت مانند UVM (روش تأیید جهانی)، SVA (تظاهرات سیستم Verilog)، SFC (پوشش عملکردی SystemVerilog)، CDV (تأیید بر مبنای پوشش)، تأیید توان پایین (فرمت واحد قدرت UPF)، AMS (آنالوگ) را تشریح می‌کند. تأیید سیگنال مختلط، متدولوژی پلتفرم مجازی TLM2.0/ESL (سطح سیستم الکترونیکی)، تأیید رسمی استاتیک، بررسی هم ارزی منطقی (LEC)، شتاب سخت‌افزار، شبیه‌سازی سخت‌افزار، تأیید مشترک سخت‌افزار/نرم‌افزار، تحلیل منطقه عملکرد نیرو (PPA) در یک پلتفرم مجازی، روش استفاده مجدد از الگوریتم/ESL به RTL و سایر روش‌های کلی.

توضیحاتی درمورد کتاب به خارجی

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail. He then describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies.

فهرست مطالب

Front Matter....Pages i-xxxi
Introduction....Pages 1-4
Functional Verification: Challenges and Solutions....Pages 5-12
SystemVerilog Paradigm....Pages 13-15
UVM (Universal Verification Methodology)....Pages 17-64
Constrained Random Verification (CRV)....Pages 65-74
SystemVerilog Assertions (SVA)....Pages 75-128
SystemVerilog Functional Coverage (SFC)....Pages 129-148
Clock Domain Crossing (CDC) Verification....Pages 149-166
Low-Power Verification....Pages 167-191
Static Verification (Formal-Based Technologies)....Pages 193-220
ESL (Electronic System Level) Verification Methodology....Pages 221-241
Hardware/Software Co-verification....Pages 243-253
Analog/Mixed Signal (AMS) Verification....Pages 255-271
SoC Interconnect Verification....Pages 273-284
The Complete Product Design Life Cycle....Pages 285-300
Voice Over IP (VoIP) Network SoC Verification....Pages 301-309
Cache Memory Subsystem Verification: UVM Agent Based....Pages 311-318
Cache Memory Subsystem Verification: ISS Based....Pages 319-321
Back Matter....Pages 323-328

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Computer System Architecture (3rd Edition)

دانلود کتاب Elementarz (Буквар)

دانلود کتاب The Mysterium lectures: a journey through C.G. Jung's Mysterium coniunctionis

دانلود کتاب Programming F#: a comprehensive guide

دانلود کتاب Averrois Cordubensis Commentarium medium et epitome in Aristotelis De generatione et corruptione libros.