Automotive ISO 26262 Design and Verification Challenges