مدارهای منطقی، پایه و اساس کامپیوترهای دیجیتال و بسیاری دیگر از سیستم‌های کنترل اتوماتیک هستند که امروزه به ‌شکل فزاینده‌ای همه جوانب زندگی ما را در برگرفته‌اند.

هدف از این درس، آشنایی با روش‌های خودکار طراحی و اشکال‌زدایی مدارها و سیستم‌های دیجیتال با رویکرد استفاده از ابزارهای طراحی خودکار مدارهای مجتمع است.

هدف از این درس آشنایی با اصول طراحی مدارها و سیستم‌های دیجیتال، نحوه تحلیل و اشکال‌زدایی آن‌ها است.