Lead Formal Verification Architect (Hybrid)

Advanced Micro Devices; Austin (TX); Hybrid; USD 150,000 - 210,000; Full time

Job summary

Advanced Micro Devices seeks an experienced ASIC Formal Verification Architect to join the NBIO team. You will lead verification strategy for complex IP and SoCs, collaborating with architects and design teams to drive silicon sign-off.

The role offers mentorship of engineers, development of reusable verification environments, and adoption of industry-leading methodologies to scale verification across multiple projects.

Qualifications

• BS/MS in Engineering or Computer Science required.
• Strong expertise in formal verification methods and leadership.
• Experience leading technical teams across IP/SoC projects.

Responsibilities

• Lead and mentor formal verification engineers across IP/SoC projects.
• Define verification architecture, methodologies, and development plans.
• Develop comprehensive formal verification test plans and sign-off strategies.
• Architect and maintain reusable formal verification environments and components.
• Collaborate with design, validation and post-silicon teams to resolve issues.

Skills

Formal verification

Leadership

Digital design

SystemVerilog

Verilog

VHDL

Scripting

Architecture

Verification methodologies

Education

BS/MS in Engineering or Computer Science

Tools

JasperGold

VC-formal

UVM-based environments

Job description

Advanced Micro Devices seeks an experienced ASIC Formal Verification Architect to join the NBIO team. You will lead verification strategy for complex IP and SoCs, collaborating with architects and design teams to drive silicon sign-off.

The role offers mentorship of engineers, development of reusable verification environments, and adoption of industry-leading methodologies to scale verification across multiple projects.