Formal Verification Engineer Job in Bengaluru at NVIDIA

Nvidia is hiring for the role of Formal Verification Engineer!

Responsibilities of the Candidate:

• 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 test plans to sign-off on the corresponding design implementation.
• Build formal verification test benches, 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.

Requirements:

• 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 test plans, building formal test benches, and root-causing counter-examples.
• Good debugging and problem-solving skills
• Scripting knowledge (Python/Perl/shell)
• Good interpersonal and communication skills and dream of working as a great team member