CPU Formal Verification Engineer
AMD
Overview
As a Formal Verification Engineer at AMD, you drive formal methods across CPU IP, shaping verification strategy and infrastructure for high-quality, timely delivery. You’ll collaborate with architecture, design, and central teams to evolve verification practices and tackle challenging convergence issues. You join a core group of experts advancing CPU technologies in a fast-paced environment. This role offers the opportunity to lead cutting-edge verification work and influence AMD’s CPU developments.
Responsibilities- Architect and execute formal verification methodologies for CPU design (datapath and control)
- Scale formal verification to large, critical designs ensuring bug-free IP lifecycle
- Resolve convergence challenges using techniques like induction, COI reduction, and abstraction
- Build and maintain best-in-class formal verification infrastructure for engineering adoption
- Explore formalization of ISA and memory models for CPU IP
- Stay at the forefront of formal verification innovation and foster relationships across AMD and EDA partners
- Champion cross-department collaboration and drive AMD-wide formal verification excellence
- strong expertise in formal verification for complex processor architectures
- ability to execute and lead formal verification across designs
- strong communication and cross-functional collaboration skills
- experience delivering high-quality verification for large-scale processor designs under tight schedules
- strong understanding of computer architecture and CPU pipelines
- experience developing infrastructure for FPV, FXP(x-prop), DPV, SEC and other formal apps (desirable)
- Bachelor or Masters degree in computer engineering/Electrical Engineering
- cross-functional collaboration
- strong communication
- leadership and initiative
- JasperGold
- VC Formal
- formal verification of ISA and memory models
Reference: WJ-747_30173618