Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications