Design Automation Challenges for Automotive Systems | Synapse