CPU Formal Verification Engineer

Job Title

CPU Formal Verification Engineer

Role Summary

Lead and execute formal verification methodology for AMD CPU IP, working with architecture, design, and central formal teams to ensure comprehensive, scalable formal coverage across datapath and control logic.

This role is a technical leadership position focused on methodology, infrastructure, and execution of formal verification for large, high‑complexity processor designs.

Experience Level

Mid-level (Mid-Career). Specific years of experience not stated.

Responsibilities

Primary responsibilities include architecting and applying formal techniques to CPU designs and enabling adoption across teams.

• Architect and implement formal verification methodologies covering CPU datapath and control logic.
• Scale formal verification to large, critical designs and integrate into the IP lifecycle.
• Resolve convergence challenges using advanced techniques (proof by induction, COI reduction, abstraction).
• Design and maintain formal verification infrastructure and tooling for team-wide adoption.
• Formalize ISA and memory models relevant to CPU verification.
• Collaborate with architecture, design, central formal groups, and EDA partners to drive methodology and roadmap.
• Mentor and champion formal verification best practices across engineering teams.

Requirements

Core technical skills and demonstrated experience required to perform the role.

Must-have:

• Proven experience in formal verification for complex processor architectures and CPU pipelines.
• Advanced user of formal tools (examples: JasperGold, VC Formal) and formal methodologies.
• Strong debug skills for microarchitecture functional failures.
• Track record delivering high-quality verification for large-scale processor designs under tight schedules.
• Ability to lead cross-functional teams and drive adoption of formal methods.

Nice-to-have:

• Experience developing Assertion IP (AIP) and end-to-end properties.
• Experience building infrastructure for FPV, FXP (x-prop), DPV, SEC and other formal applications.
• Experience formalizing ISA or memory models and working with EDA partners on tooling/integration.

Education Requirements

Bachelor's or Master's degree in Computer Engineering or Electrical Engineering (as listed). No alternative "equivalent experience" language specified.

About the Company

Company: Advanced Micro Devices

Headquarters: Sunnyvale, California, USA

Advanced Micro Devices, or AMD, is a global semiconductor company that designs and manufactures microprocessors, graphics processors, and related technologies for a variety of computing devices. Known for pushing the boundaries of innovation, AMD's mission is to deliver high-performance computing solutions for AI, data centers, gaming, and embedded applications. They foster a collaborative, inclusive culture focused on creativity and problem-solving, aiming to drive progress and excellence in technology.