درستی‌سنجی سخت‌افزار

Hardware Verification

مقطع: تحصیلات تکمیلی گرایش: معماری سیستم‌های کامپیوتری
نوع درس: نظری تعداد واحد: ۳
پیش‌نیاز: – هم‌نیاز: –

هدف کلی

این درس مبانی و روش‌های تصدیق صحت سخت‌افزار، زبان‌های تصدیق سخت‌افزار (زبان)، روش‌های تصدیق بر پایه شبیه‌سازی و روش‌های صوری تصدیق صحت سخت‌افزار می‌باشد.

سرفصل‌ها

  1. مقدمات: آشنایی روند طراحی و تصدیق سخت‌افزار، مرور بر تکنیک‌های مختلف تصدیق سخت‌افزار
  2. توصیف سخت‌افزار: مدل‌سازی سیستم و BDD، مدل‌سازی با Predictive logic.
  3. روش‌های تصدیق سخت‌افزار: روش‌های برپایه شبیه‌سازی، روش‌های صوری.
  4. تصدیق سخت‌افزار با شبیه‌سازی: روش‌های مختلف شبیه‌سازی، ایجاد testbench.
  5. تصدیق صوری سخت‌افزار: بررسی شباهت (Equivalence checking)، توصیف ویژگی‌ها و منطق زمانی،
  6. بررسی مدل (Model checking) و تصدیق با اثبات قضیه
  7. ابزارهای تصدیق صوری: سیستم‌های تصدیق صوری (VIS، SMV، HOL، PVS، Formal Check)

ارزیابی پیشنهادی

منابع پیشنهادی

  1. W. K. Lam. Hardware Design Verification: Simulation and Formal Method-Based Approaches. Prentice Hall, 2010.
  2. J. Bergeron. Writing Testhenches: Functional Verification of HDL Models. Springer, 2008.
  3. C. Baier and J. P. Katoen. Principles of Model Checking. MIT Press, 2008..
  4. M. Huth and M. Ryan. Logic in Computer Science Modeling and Reasoning About Systems. Cambridge publisher, 2009.