طراحی سامانه‌های دیجیتال با استفاده از ابزارهای اتوماسیون (EDA)