Senior FPV Verification Engineer – GPU RTL

linetgroup; Cambridge; On-site; GBP 60,000 - 100,000; Full time

Job summary

Qualcomm Technologies International Ltd in Cambridge seeks an ASIC Verification Engineer specializing in Formal Property Verification (FPV) to join the Engineering Group > ASICS Engineering. You will develop FPV test plans, write SystemVerilog Assertions, and collaborate with global RTL design and DV teams to drive sign-off.

The role requires 2+ years in ASIC design/verification, a degree in Science/Engineering (BS/MS/PhD), and hands-on FPV tool experience with JasperGold/VC Formal.

Qualifications

• Bachelor's degree in Science/Engineering or related field
• Master's degree in Science/Engineering or related field
• PhD in Science/Engineering or related field

Responsibilities

• Develop deep understanding of 3D Graphics hardware pipeline and interfaces
• Develop FPV test plans and assertion-based verification testbench
• Debug RTL artefacts and achieve formal sign-off
• Collaborate with global GPU RTL design and DV teams
• Proficient in SystemVerilog Assertions and formal tools

Skills

Formal Verification

SystemVerilog

SystemVerilog Assertions

FPV

Bug hunting

Education

Bachelor's degree in Science/Engineering

Master's degree in Science/Engineering

PhD in Science/Engineering

Tools

JasperGold

VC Formal

Job description

Qualcomm Technologies International Ltd in Cambridge seeks an ASIC Verification Engineer specializing in Formal Property Verification (FPV) to join the Engineering Group > ASICS Engineering. You will develop FPV test plans, write SystemVerilog Assertions, and collaborate with global RTL design and DV teams to drive sign-off.

The role requires 2+ years in ASIC design/verification, a degree in Science/Engineering (BS/MS/PhD), and hands-on FPV tool experience with JasperGold/VC Formal.