highlisted
Sign in

Formal Verification Engineer

Nvidia·Bengaluru

Pay not stated2–5 yrsFull-time
Apply on Nvidia'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

This position will have you crafting and optimising formal verification flows across CPU/GPU projects and resolving tool issues for design teams with tool vendors. Additionally, you'll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques.

What you'll do

  • The specification, implementation, and maintenance of an integrated end-to-end formal verification flow for the formal verification team
  • Developing scripts to automate the verification process
  • Review formal setups and proofs with design and verification teams
  • Maintain and extend assertion libraries, including support for both simulation and FV
  • Identifying key behaviours for verification of DUT and creating a verification plan

What you need

  • 2–5 years in electrical & electronics
  • Verilog
  • Maintenance
  • B.Tech or B.E. or M.Tech or MCA or M.Sc

Similar jobs

Electrical Engineer II Senior

Applied Materials·Bengaluru

Can I apply
Open to any education · 5–8 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On Applied Materials' site (Workday): account needed, ~10–15 min
Early: posted 1 h ago on their own site

Design Verification Engineer

Texas Instruments·Bengaluru

Can I apply
Needs B.Tech or B.E. or M.Tech · 3–5 yrs
Pay
Pay not stated
Source
From the company's careers page · today
How to apply
On Texas Instruments' site (Oracle): account needed, ~10–15 min
Early: posted 1 h ago on their own site