Slide 1 Design and Synthesis of Embedded Systems http://www.imm.dtu.dk/~virk [email protected] Kashif Virk Office 322.222 Informatics and Mathematical Modelling Technical University…