AMD

1 month ago

Formal Verification Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI

Last checked: 4 hours agoStatus: Live

Job Summary

Lead formal verification of AMD’s Infinity Fabric hardware designs, applying rigorous verification methods to prove correctness and uncover corner-case bugs; collaborate with RTL designers and architects, mentor junior engineers, and drive shift-left verification across AI/ML, client, server, and graphics product lines.

Location: Austin, Boston, Santa Clara

Workplace: Hybrid

Employment Type: Full time

Job Function: Software Engineering

Key Responsibilities

•Develop and execute formal verification strategies using VC Formal and/or JasperGold for property checking (FPV), connectivity checking (CC), register verification (FRV), and sequential equivalence checking (SEQ)
•Write, review, and debug SystemVerilog Assertions (SVA) — including assumptions, assertions, and cover properties — to verify complex design behaviors
•Drive convergence on formal proofs by applying abstraction techniques, complexity reduction strategies, and assume-guarantee reasoning
•Collaborate with RTL designers and architects to define verification plans that incorporate formal methods alongside simulation-based approaches
•Identify and pursue opportunities to apply formal verification to new design blocks, championing a “formal-first” verification strategy

Key Requirements

•Bachelor's or Master’s degree in computer engineering or Electrical Engineering (or related field)
•Hands-on experience with VC Formal (Synopsys) and/or JasperGold (Cadence)
•Strong proficiency in SystemVerilog Assertions (SVA) and formal property specification
•Experience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysis
•Familiarity with scripting languages (TCL, Python, Perl) for flow automation

Experience:SemiconductorHardware

Education:Bachelor's in computer engineering / Electrical Engineering

Skills:MentoringCollaborationProblem-solvingCommunication

Languages:English

Tech Stack:VC FormalJasperGoldSystemVerilogSVATCLPythonPerl

Company Brief

AMD

Designs and produces semiconductor products including CPUs, GPUs, and adaptive SoCs for consumer, enterprise, and embedded markets, competing across PCs, data centers, and gaming industries.

Industry: Electronics Manufacturing

Company Size: Enterprise (1,001+ employees)

Revenue: USD 1B+

Growth: Public Company

Valuation: Public Company (Market Cap in USD)

Funding: IPO / Publicly Listed

Headquarters: Santa Clara, United States

Founded: 1969

Glassdoor: 3.9

Website LinkedIn

Loading job details...

Preparing the role view and application actions.

AMD