شبیه‌سازی و اعتبارسنجی سخت‌افزار با SystemC