design Automation for Embedded Systems (Hybrid)