Nvidia Formal Verification Engineer 

India, Karnataka, Bengaluru 

549020843

What you'll be doing:

• Help decide on the best applications of formal verification techniques to various parts of the design.

• 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.

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

• Apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.

• 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