Apply on Employer Site

AMD · 5 hours ago

Formal Verification Engineer

Austin, TX

Full-time

Onsite

New Grad, Entry Level

$119K/yr - $178K/yr

AMD is a leader in next-generation computing experiences, and they are seeking a passionate and talented Sr. Formal Verification Engineer to join their GFXIP Formal Verification team. The role involves applying cutting-edge formal techniques to verify complex GPU designs and collaborating with design teams to ensure high-quality verification.

AI InfrastructureArtificial Intelligence (AI)Cloud ComputingComputerEmbedded SystemsGPUHardwareSemiconductor

Growth Opportunities

No H1B

Responsibilities

Drive formal verification execution with support from FV tech leads for GFX-IP blocks

Collaborate with design and architecture teams to understand design specifications and develop verification requirements

Utilize formal techniques to build comprehensive testbenches, striving for better convergence of formal proof

Debug testbench and/or design issues using formal tools and provide feedback for design improvements

Responsible for verification quality metrics like pass rates, code/functional coverage and proof convergence

Document formal verification processes, findings, and best practices

Continuously learn and stay abreast of advancements in formal verification and related technologies

Qualification

Formal verification techniquesDigital design verificationScripting languagesComputer architectureAnalytical skillsProblem-solving skillsCommunication skills