دانلود کتاب Functional Verification of Dynamically Reconfigurable FPGA-based Systems – تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا

توضیحات

This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. The authors describe the use of a simulation-only layer to emulate the behavior of target FPGAs and accurately model the characteristic features of reconfiguration. Readers are enabled with this simulation-only layer to maintain verification productivity by abstracting away the physical details of the FPGA fabric. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level; ReSim is a library to support RTL simulation of a DRS reconfiguring both its logic and state. Through a number of case studies, the authors demonstrate how their approach integrates seamlessly with existing, mainstream DRS design flows and with well-established verification methodologies such as top-down modeling and coverage-driven verification.

————————————————————–

ترجمه ماشینی :

این کتاب چالش‌های موجود در راستی‌آزمایی سیستم‌های قابل تنظیم مجدد پویا (DRS) را با توجه به طراحی کاربر و پیاده‌سازی فیزیکی چنین سیستم‌هایی تحلیل می‌کند. نویسندگان استفاده از یک لایه فقط شبیه‌سازی را برای شبیه‌سازی رفتار FPGAهای هدف و مدل‌سازی دقیق ویژگی‌های مشخصه پیکربندی مجدد توصیف می‌کنند. خوانندگان با این لایه فقط شبیه سازی فعال هستند تا بهره وری تأیید را با انتزاع کردن جزئیات فیزیکی پارچه FPGA حفظ کنند. دو پیاده سازی از لایه فقط شبیه سازی گنجانده شده است: Extended Re Channel یک کتابخانه System C است که می تواند برای بررسی طرح های DRS در سطح بالا استفاده شود. ReSim یک کتابخانه برای پشتیبانی از شبیه سازی RTL از یک DRS است که هم منطق و هم حالت آن را پیکربندی مجدد می کند. از طریق تعدادی از مطالعات موردی، نویسندگان نشان می‌دهند که چگونه رویکرد آنها به طور یکپارچه با جریان‌های طراحی DRS موجود و جریان اصلی و با روش‌های تأیید صحت تثبیت‌شده مانند مدل‌سازی از بالا به پایین و تأیید پوشش محور یکپارچه می‌شود.

tag : دانلود کتاب تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا , Download تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا , دانلود تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا , Download Functional Verification of Dynamically Reconfigurable FPGA-based Systems Book , تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا دانلود , buy تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا , خرید کتاب تایید عملکردی سیستم های مبتنی بر FPGA قابل تنظیم مجدد پویا , دانلود کتاب Functional Verification of Dynamically Reconfigurable FPGA-based Systems , کتاب Functional Verification of Dynamically Reconfigurable FPGA-based Systems , دانلود Functional Verification of Dynamically Reconfigurable FPGA-based Systems , خرید Functional Verification of Dynamically Reconfigurable FPGA-based Systems , خرید کتاب Functional Verification of Dynamically Reconfigurable FPGA-based Systems ,