Senior Formal Verification Engineer

Overview

• NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry’s leading CPUs and other High Performance Computing Solutions.
• As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness and completeness of our next generation chip designs.
• You will collaborate with a team of highly skilled engineers to develop and implement formal verification methodologies using formal verification tools, define the verification scope, and ensure design correctness.
• You will employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks.
• What will you be doing: Identify key behaviors for verification to write clear testplans for complex designs.
• Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.
• Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.
• Drive tools to realize their best performance.
• Debug RTL to identify causes of failure scenarios.
• Contribute to flow and script development to improve team efficiency.
• Articulate formal verification coverage of the design to partners.
• What we need to see: BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics.
• Solid understanding of GPU/CPU architectures and designs.
• Strong analytical skills to solve complex problems.
• Knowledge of formal verification methodologies and techniques.
• Able to implement abstraction techniques for effective verification.
• Hands-on experience with Verilog / SystemVerilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.
• Excellent command of scripting using TCL, Perl, and Python.
• Preferable experience with Formal Verification Tools (eg.
• Jasper Gold, VC Formal ) Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.
• NVIDIA is widely considered to be one of the technology world’s most desirable employers.
• We have some of the most resourceful and talented people in the world working for us.
• If you're creative, autonomous and love a challenge, we want to hear from you!.