Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Work on AMD's Formal Verification team providing formal functional and security verification for complex IPs such as I/O virtualization, PCIe Root Complex/End-Point, and high-speed inter-chiplet interconnects. Use commercial formal tools and methodologies to raise design quality and drive verification closure while coordinating across architecture, RTL, DV and silicon teams.

Experience Level

Mid-level. No explicit years-of-experience requirement specified.

Responsibilities

Key responsibilities include:

• Collaborate with architects and designers to capture design intent and verification targets.
• Create and execute formal verification plans for design blocks.
• Write, debug, and maintain formal properties; analyze signatures/counterexamples and drive fixes.
• Optimize formal runtimes and improve formal setups, flows and infrastructure.
• Collect, report and track verification status and metrics.
• Lead and coordinate verification activities for a small team; train and mentor junior engineers.
• Develop procedures, automation and infrastructure to improve verification efficiency.
• Resolve complex formal verification problems and support activities through tapeout and post-silicon validation.

Requirements

Must-have qualifications:

• Hands-on experience with formal property verification (FPV) and sequential equivalence checking (SEC/SEQ/SLEC).
• Experience authoring properties in a formal property language (SVA preferred) and applying abstraction techniques for proofs.
• Proficiency with commercial formal tools (for example VC-Formal, JasperGold, Questa Formal) and formal sign-off processes.
• Experience verifying complex packet- or control-based IPs and high-speed I/O protocols (PCIe, SATA, USB, AXI, or similar).
• Ability to develop and execute formal verification strategies, optimize proofs, and achieve verification closure.
• Strong debugging and root-cause analysis skills for formal counterexamples and signatures.
• Proven ability to lead small teams and mentor junior engineers.

Nice-to-have:

• ASIC/FPGA design and verification experience.
• Experience with AI-assisted formal verification, automation or property generation.
• Verification experience for hardware–firmware interaction.
• Security-focused formal verification experience.

Education Requirements

BS (or higher) degree in Electrical/Electronics Engineering, Computer Engineering, or a related field is desired.

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.