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

[ad_1]

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

[ad_2]

منبع