Functional Safety Verification Methodology for ASIL-B Automotive Designs