Formal Verification Lead
AMD · Posted Oct 30
High-performance processors, graphics cards, data center solutions, and AI accelerators
Get a personal compatibility score
Add a resume for personal matches
About the role
AMD designs processors and related technologies for AI, healthcare, scientific discovery, and other computing applications. The CPU Cores team focuses on formal verification of complex, high-performance processor designs. This Formal Verification Lead will provide technical leadership for formal verification strategy and execution, including environment development, convergence, coverage closure, and sign-off.
What you will do
- Lead formal verification strategy and execution for complex CPU blocks and subsystems.
- Own formal verification from planning and environment development through convergence, coverage closure, and sign-off.
- Develop and review SystemVerilog Assertions (SVA), properties, assumptions, constraints, abstractions, and formal verification environments.
- Partner with architects and RTL designers to understand design intent, identify corner cases and specification gaps, and improve design verifiability.
- Drive formal convergence and debug through effective abstraction, decomposition, constraints, proof strategies, and tool optimization.
- Define and drive verification quality metrics including property completeness, proof convergence, formal coverage, and sign-off criteria.
- Drive innovation in formal methodologies, automation, reusable infrastructure, and adoption across CPU development.
- Provide technical leadership through verification reviews, complex problem solving, and mentoring across teams and sites.
Skills used in this role
What the employer is looking for
- 13+ years of relevant industry experience, with substantial experience in formal verification of complex digital designs.
- Demonstrated technical leadership in verification of CPU, processor, IP, or complex subsystems.
- Strong hands-on expertise in formal property verification, SVA, formal environments, constraints, abstraction, convergence, and coverage closure.
- Experience with formal tools such as Cadence JasperGold, Synopsys VC Formal, Siemens Questa Formal, or equivalent.
- Strong understanding of SystemVerilog/Verilog RTL, computer architecture, and CPU microarchitecture.
- Experience with CPU areas such as pipelines, execution units, caches, memory subsystems, coherency, or control logic is preferred.
- Experience developing formal methodologies, automation, or reusable verification infrastructure is highly desirable.
- Strong scripting skills using Python, Perl, Tcl, Shell, or similar languages.
- Demonstrated ability to mentor engineers, influence technical direction, and lead cross-functional technical initiatives.
- Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related technical field.
Benefits and support
- Compensation and benefits are detailed in the job posting
About AMD
AMD is a global semiconductor company that designs high-performance central processing units (CPUs), graphics processing units (GPUs), and adaptive processors for data centers, personal computers, gaming consoles, and embedded systems. The company specializes in advanced computing solutions and AI accelerators, positioning itself as a major leader in modern high-performance and artificial intelligence hardware. Through strategic developments and acquisitions, AMD continues to expand its ecosystem across cloud infrastructure, enterprise computing, and physical AI.
- Industry
- Semiconductors
- Company size
- 31000 employees
- Founded
- 1969-05-01
- Location
- Santa Clara, California, USA
- Funding stage
- Public Company
Funding
Public Company
- 2007-11-16Post Ipo
Leadership
Chair and Chief Executive Officer
Executive Vice President, Chief Financial Officer and Treasurer
Executive Vice President and Chief Technology Officer
Executive Vice President and Chief Commercial Officer
Executive Vice President and General Manager, Data Center Solutions Business Group
Recent coverage
AMD Newsroom
AMD and Meta Expand Strategic Partnership to Accelerate AI Infrastructure with Helios Rackscale Solutions2026-10-27
BeInsure
Wall Street Analysts Raise AMD Price Targets Ahead of Q3 Earnings Amid Surging AI Demand2026-10-28
Barchart
Advanced Micro Devices Eyes Strong Data Center Momentum Going Into Q3 2026 Financial Results2026-10-28