Course Electronic Design Automation (ET4255)