Formal Verification Engineer

mes and Hollywood films. Today, NVIDIA's GPU simulates human intelligence, running deep learning algorithms and acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. NVIDIA is increasingly known as "the AI computing company."As a Formal Verification Engineer at Nvidia, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV engineers to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with Nvidia's internal FV R&D group that develops functional verification tools using formal verification technology.

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

With competitive salaries and a generous benefits package, Nvidia is widely considered to be one of the most desirable employers in the world. We have some of the most brilliant and talented people in the world working for us. If you are creative, autonomous and love a challenge, we want to hear from you. We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.