Formal Verification Senior Engineer - Qualcomm, Cambridge, UK Cambridge, United Kingdom ASICS Engineering Posted a day ago
- Location
- United Kingdom
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 …/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 ...