Senior Staff Formal Verification Engineer
Core
Develop and deploy formal verification methods for next-generation GPU designs, ensuring design correctness and coverage closure for 3D graphics hardware pipelines.
Role type
Senior Staff IC formal verification engineer (GPU)
Builds
GPU ASICs (Adreno™) for mobile UI, games, and advanced graphics applications
Domain
Semiconductor / Hardware Verification / GPU Architecture
Required skills
Formal Property Verification (FPV), SystemVerilog Assertions, RTL debugging, coverage closure, abstraction techniques, EDA tool proficiency, GPU architecture knowledge
Preferred skills
DPV, C2RTL SEQ, RTL2RTL SEQ, deep bug-hunting
Responsibilities
Develop understanding of 3D Graphics hardware pipeline and interfaces; Identify critical Graphics areas to verify with Formal methods; Collaborate with global GPU system architecture, RTL design, and DV teams; Engage with EDA vendors to explore new DV methodologies; Write SystemVerilog Assertions and solve formal proof complexity; Achieve formal sign-off matrices
Seniority
Senior Staff, hands-on IC
