Formal Verification Senior Engineer - Qualcomm, Cambridge, UK

Qualcomm; Cambridge; On-site; GBP 70,000 - 100,000; Full time

Job summary

Qualcomm Technologies International Ltd in Cambridge seeks an ASIC verification engineer focused on Formal Property Verification (FPV) to design and implement assertion-based testbenches and drive formal sign-off. You will work with global RTL design and DV teams to achieve project goals and apply industry-standard formal tools including SVA and JasperGold.

Qualifications include a Bachelor's in science/engineering with 2+ years in ASIC design/verification, or a Master's with 1+ year, or a PhD.

Qualifications

• Bachelor's degree in Science, Engineering, or related field with 2+ years ASIC design/verification experience.
• Master’s degree in Science, Engineering, or related field with 1+ year ASIC experience.
• PhD in Science, Engineering, or related field.

Responsibilities

• Develop a deep understanding of the 3D graphics hardware pipeline and GPU architecture basics for verification scope.
• Strategize and develop Formal Property Verification (FPV) test plans and assertion-based testbenches to enable formal sign-off.
• Collaborate with global GPU RTL design and DV teams to achieve project goals and sign-off.
• Apply industry-standard formal tools, write SystemVerilog Assertions, and manage proof complexity via abstraction techniques.

Skills

Formal Property Verification (FPV)

DPV

C2RTL

SystemVerilog

SystemVerilog Assertions (SVA)

JasperGold

VC Formal

Education

Bachelor's degree in Science/Engineering

Master's degree in Science/Engineering

PhD in Science/Engineering

Tools

JasperGold

Job description

Company:

Qualcomm Technologies International Ltd

Job Area:

Engineering Group, Engineering Group > ASICS Engineering

General Summary:

• Develop deep understanding of 3D Graphics hardware pipeline, feature sets, data paths, block functionalities & interfaces; Prior knowledge of GPU Architecture is a big plus.
• Hands-on experience in strategizing, brainstorming, and developing Formal Property Verification (FPV) test-plan, developing an assertion-based verification testbench, debugging all RTL artefacts, and achieving formal sign-off matrices is a MUST.
• Collaborate with global GPU RTL design and DV teams to achieve the project goals.
• Required proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying various abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off.
• Hands-on experience in other formal applications like DPV, C2RTL SEQ, RTL2RTL SEQ, etc. is a plus.
• Strong communication skills, ability to learn, improve, and deliver

Minimum Qualifications:

• Bachelor's degree in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.
• Master's degree in Science, Engineering, or related field and 1+ year of ASIC design, verification, validation, integration, or related work experience.
• PhD in Science, Engineering, or related field.

Preferred Education Requirements:

Bachelors/Masters in Electronics/Computer Engineering

Technical Experience:

2+ years of relevant experience in Formal Verification

Keywords:

Formal Property Verification (FPV), DPV, C2RTL, SystemVerilog, SystemVerilog Assertions (SVA), JasperGold, VC Formal

*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.

Equal Opportunity and Accessibility Statement:

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail [e-mail] or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Company Policies:

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.