AMD

1 week ago

FORMAL VERIFICATION ENGINEER

✓ Verified Job

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

Source: Company careers pageValidated by: Fursa AI

Last checked: 14 hours agoStatus: Live

Job Summary

Join AMD’s UMC Verification team to help verify a growing portfolio of Client, Server, Graphics, and Semi-Custom SoCs. You’ll analyze formal verification task scope, perform formal sign-off, and set priorities across blocks. Work with the design team to create FV test plans, build formal verification environments, write assertions and constraints, and develop reusable verification flows. You’ll also train and mentor new team members.

Location: Bengaluru

Workplace: Onsite

Employment Type: Full time

Job Function: Hardware, Embedded & Systems Engineering

Seniority: Mid level

Key Responsibilities

•Work with the design team to create an FV test plan.
•Build formal verification environments and write assertions, covers, and appropriate constraints.
•Create a common formal verification flow so properties and assertions can be ported across hierarchies.
•Perform formal sign-off for multiple blocks and set priorities for verification work.
•Provide training and mentor new team members.

Pay and Benefits

Salary: INR 1,496,950 - 2,138,500 annually

Key Requirements

•Experience with 3+ years on complex CPU/ASIC projects, from test planning through tapeout.
•Hands-on experience writing SystemVerilog (SV) assertions.
•Exposure to formal methodologies and industry-standard formal tools (e.g., VC Formal, Jasper).
•Knowledge of scripting using Perl, tcl, or equivalent.
•A degree in Electrical Engineering, Computer Architecture, or Computer Science with a computer-architecture focus is preferred; Bachelor’s or Master’s in computer engineering/Electrical Engineering is required/indicated.

Experience:3+ yearsCPU/ASICFormal verification

Education:Bachelor's in computer engineering/Electrical Engineering (computer architecture focus preferred)

Skills:Analytical skillsTeamworkAbility to work in a multi-site environmentTrainingMentoring

Tech Stack:SystemVerilogSV assertionsAssertionsConstraintsFormal verificationVC FormalJasperPerlTclAMBACache coherency

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