Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Nvidia Formal Verification Engineer 
India, Karnataka, Bengaluru 
66636575

24.06.2024

What you'll be doing:

  • You will help decide on the best applications of formal verification techniques to various parts of the design.

  • You will review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation.

  • You will build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.

  • You will apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.

  • You will design and develop functional verification flows that involve both vendor and internally developed formal tools.

What we need to see:

  • B.Tech./ M.Tech or equivalent experience with 2+ years of relevant experience.

  • Good understanding of hardware micro-architecture and design.

  • Conversant with formal verification technologies, including complexity reduction techniques.

  • Formal property verification experience on multiple complex units.

  • Proficiency in creating high quality testplans, building formal testbenches, and root-causing counter-examples.

Ways to stand out from the crowd:

  • Good debugging and problem solving skills

  • Scripting knowledge (Python/Perl/shell)

  • Good interpersonal and communication skills and dream to work as a great team member