Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application