E2 Design and Verification Challenges for Automotive Electronics