Lead Formal Verification Engineer
Core
Lead formal verification strategy and methodology for next-generation graphics and GPU IP at AMD.
Role type
Lead IC formal verification engineer (hardware verification)
Builds
Next-gen graphics and GPU IP
Domain
Semiconductor hardware design and verification
Required skills
formal verification methodologies, SystemVerilog Assertions (SVA), property development, abstract model creation, proof engines, equivalence checking, induction, abstraction, reduction, decomposition
Preferred skills
computer architecture, graphics pipelines, security verification, low power verification, theorem provers
Technologies
JasperGold, VC Formal, Murphi, EDA solutions
Responsibilities
Define and drive formal verification strategy and technical roadmap; Lead formal verification for complex GPU/processor designs; Develop advanced verification techniques for convergence problems; Build reusable verification infrastructure and automation; Partner with architecture/design teams to influence design quality; Research emerging formal verification applications.
Seniority
Senior, hands-on IC with leadership responsibilities
