highlisted
Sign in

Formal Verification Lead

AMD·Bengaluru

Pay not stated13–23 yrsFull-time
Apply on AMD's siteTrack your applications and see your fit: start free

Read from the company's own careers page; you apply on their site.

How well do you fit this job?

Upload your resume to see each requirement checked against your profile, in under a minute.

Check my fit
Hard to read?

About the role

Formal Verification Lead, CPU Cores THE ROLE: As a Formal Verification Lead, you will provide technical leadership for formal verification of complex, high-performance CPU cores. You will work closely with architects, RTL designers, and verification teams to define and execute formal verification strategies, drive convergence and sign-off, and advance formal methodologies for next-generation processor designs.

What you'll do

  • Provide technical leadership for formal verification of complex, high-performance CPU cores
  • Work closely with architects, RTL designers, and verification teams to define and execute formal verification strategies, drive convergence and sign-off
  • 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

What you need

  • 13–23 yrs of experience
  • Verilog
  • Python
  • Perl
  • B.Tech or B.E. or M.Tech

Similar jobs

Backend Physical Design Engineer

LSI·Bengaluru

Can I apply
Open to any education · Junior level
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On LSI's site: account needed, ~10–15 min
Early: posted 1 h ago on their own site

Senior Embedded Test engineer

Quest Global·Bengaluru (hybrid)

Can I apply
Needs Class 10 or B.Tech or B.E. · 2–4 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On Quest Global's site: account needed, ~10–15 min
Early: posted 4 h ago on their own site

IP Verification Lead

AMD·Bengaluru

Can I apply
Needs B.Tech or B.E. or M.Tech · Senior level
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On AMD's site: account needed, ~10–15 min
Early: posted 4 h ago on their own site

Associate Engineer- Electronics

RTX·Bengaluru

Can I apply
Needs B.Tech or B.E. · 7–10 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On RTX's own site
Early: posted 6 h ago on their own site