CPU Formal Verification Engineer

About AMD and the Role

AMD is committed to creating advanced products that power the next era of computing, including AI, data centers, PCs, gaming, and embedded systems. Our culture thrives on innovation, collaboration, and a shared commitment to solving significant challenges with humility and inclusivity. As a CPU Formal Verification Engineer at AMD, you will lead the advancement of formal verification methods for next-generation CPU intellectual property designs, ensuring top-tier quality and efficiency under demanding timelines.

Key Responsibilities

• Design and implement formal verification strategies to thoroughly validate CPU components such as datapaths and control logic.
• Apply formal verification techniques at scale to complex, mission-critical CPU designs to guarantee defect-free implementations through the entire IP lifecycle.
• Tackle convergence issues by employing advanced methods including proof by induction, cone of influence reduction, and abstraction.
• Develop and sustain state-of-the-art formal verification infrastructure to facilitate adoption across multiple engineering teams.
• Investigate formal representations of CPU instruction set architectures (ISA) and memory models.
• Maintain leadership in formal verification innovation and build collaborative relationships within the AMD design community and with EDA tool providers.
• Promote widespread collaboration across departments to elevate AMD's standards for formal verification excellence.

Preferred Qualifications and Experience

• Experience creating Assertion IP (AIP) and comprehensive formal properties.
• Proficient debugging skills for microarchitecture-level functional failures.
• Advanced proficiency using formal verification tools such as JasperGold and VC Formal from academic and EDA sources.
• Proven track record delivering high-quality formal verification for large-scale processor designs under tight deadlines.
• Strong comprehension of computer architecture principles and CPU pipeline behavior.
• Experience developing infrastructure for formal property verification (FPV), formal extraction verification (FXP), dynamic property verification (DPV), security verification (SEC), and related formal applications is highly desirable.

Educational Background

• Bachelor's or Master’s degree in Computer Engineering or Electrical Engineering.

Additional Information

AMD offers comprehensive benefits and promotes an inclusive and equal opportunity work environment. The company welcomes applicants without regard to age, race, gender, disability, or any protected status. Recruitment agencies and fee-based recruiters are not accepted unsolicited resumes. The selection process may use AI tools responsibly to assist in candidate assessment. This vacancy is currently open and hiring.