Gpu Formal -sr. Verification

Job details

---

Job description

---

Company:Qualcomm India Private Limited Job Area:Engineering Group, Engineering Group > Hardware Engineering Job Overview General Summary Qualcomm Graphics HW team in India is part of a worldwide team responsible for developing and delivering GPU solutions which are setting the benchmark in Mobile/Compute/Automotive industry. The role of GPU Formal verification Engineer will involve Verification of the GPU C-models/RTL using industry standard Formal Verification tools and technologies based on latest model/equivalence checking algorithms The role also requires close collaboration with worldwide design, systems and EDA/CAD teams. Hence, we are looking for candidates with strong communication skill – both written and verbal. For better understanding of some of our products, please refer to the links below https://www.qualcomm.com/products/smartphones https://www.qualcomm.com/products/smartphones/gaming Minimum Qualifications Minimum 4-8 years of VLSI industry experience Strong analytical skills to solve complex problems. Specialization in formal verification with tools like Jasper or VC-Formal Knowledge of cutting edge formal verification methodologies and techniques. Able to implement abstraction techniques for effective verification. Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly. Proficient with scripting languages such as Perl and(or) Python Job Overview Qualcomm Graphics HW team in India is part of a worldwide team responsible for developing and delivering GPU solutions which are setting the benchmark in Mobile/Compute/Automotive industry. The role of GPU Formal verification Engineer will involve Verification of the GPU C-models/RTL using industry standard Formal Verification tools and technologies based on latest model/equivalence checking algorithms The role also requires close collaboration with worldwide design, systems and EDA/CAD teams. Hence, we are looking for candidates with strong communication skill – both written and verbal. For better understanding of some of our products, please refer to the links below https://www.qualcomm.com/products/smartphones https://www.qualcomm.com/products/smartphones/gaming Minimum Qualifications Minimum 4-8 years of VLSI industry experience Strong analytical skills to solve complex problems. Specialization in formal verification with tools like Jasper or VC-Formal Knowledge of cutting edge formal verification methodologies and techniques. Able to implement abstraction techniques for effective verification. Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly. Proficient with scripting languages such as Perl and(or) Python Education Minimum Qualifications Bachelors - Computer Science, Bachelors - Electronics and Communications Engineering, Bachelors - Information Systems Certifications Work Experiences: Skills Assertions, Formal Verification, SystemVerilog, Universal Verification Methodology (UVM) Education Preferred Qualifications Work Experiences 6+ years Hardware Engineering experience or related work experience. Skills Applicants: If you need an accommodation, during the application/hiring process, you may request an accommodation by sending email to accommodationsupport To all Staffing and Recruiting Agencies:Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications. If you would like more information about this role, please contact Qualcomm Careers .