Elaheh Bozorgzadeh Design Automation and Synthesis for Embedded Systems eli@ics.uci.edu (949) 824-8860 https://eli.ics.uci.edu/