Functional Verification of Dynamically Reconfigurable FPGA-based Systems

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

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.