FM01.1.21 Automated Analysis of Virtual Prototypes at the Electronic System Level–Design Understanding and Applications– Start 18:00 End 21:00 Author Mehran Goli, University of Bremen, Germany