Nvidia Formal Verification Engineer 

India, Karnataka, Bengaluru 

66636575

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