CPU Formal Verification

As a member of the CPU design team at Qualcomm India Private Limited, you will have the opportunity to work alongside top CPU architects and engineers in developing cutting-edge processors for the future. Your role will involve applying formal methods to verify application processors and contributing to the advancement of formal methodologies in this domain. Here is a breakdown of your key responsibilities and the qualifications required to excel in this position: Roles and Responsibilities: - Collaborate with the design team to comprehend design intent and create verification plans for formalization from architecture to micro-architecture - Define formal verification architecture, formulate test plans, and establish formal sign-off environments for Qualcomm CPU components - Implement model-checking technology across hardware designs, including property verification, math proofs, architectural modeling, and validation in various application areas Qualifications Required: - Bachelor's degree in Computer Science or Electrical/Electronics Engineering with 8+ years of experience in applying formal methods in hardware or software - Proficiency in model checking or theorem proving for complex system verification - Experience in writing assertions and modeling code in Hardware Description Languages or validating architectural specifications using formal methods - Familiarity with model checkers like Jaspergold, VC-Formal, or theorem-proving tools such as ACL2 and HOL Additional Company Details: Qualcomm is an equal opportunity employer that provides accommodations for individuals with disabilities during the application and hiring process. The company is committed to making the workplace accessible for all employees, ensuring a supportive environment for individuals with disabilities. By following the outlined responsibilities and qualifications, you can contribute to the innovative work of Qualcomm's CPU team and play a key role in shaping the future of processor technology.,