onsite
Lead GPU Formal Verification Engineer - AMD
Software Engineer
Lead GPU Formal Verification Engineer driving advanced formal verification for next‑generation GPU architectures using SystemVerilog, UVM, and industry‑leading tools to ensure design correctness and performance.
About the role
Key Responsibilities
- Lead the formal verification effort for GPU IP blocks, defining coverage goals and verification strategies.
- Develop and maintain SystemVerilog/UVM testbenches and formal models to validate complex GPU designs.
- Collaborate with RTL, synthesis, and signoff teams to resolve bugs and improve design quality.
- Utilize formal tools (e.g., JasperGold, QuestaSim) to generate proofs, assertions, and coverage metrics.
- Mentor junior verification engineers and promote best practices across the verification team.
Requirements
- 5+ years of experience in hardware verification, with a focus on GPU or ASIC design.
- Strong proficiency in SystemVerilog, UVM, and formal verification methodologies.
- Hands‑on experience with formal tools such as JasperGold, QuestaSim, or equivalent.
- Excellent problem‑solving skills and ability to communicate complex technical concepts.
- Experience with GPU architecture and performance optimization is a plus.
Skills
verilogelectrical engineering