As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure correctness. You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks. You will efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team.

What you will be doing:

• Identify key behaviors for verification to write clear testplans for sophisticated 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 acquire full proofs, or bounded proofs with sufficient coverage.

• Drive formal 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 to partners.

What we need to see:

• BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience.

• Understanding of GPU/CPU architectures and engineering work flows.

• Experience with Verilog / System Verilog HDLs and able to understand sophisticated RTL quickly.

• Experience with formal tools and knowledge of formal verification methodologies.

• Able to implement abstraction techniques for effective verification.

• Strong analytical skills to tackle sophisticated problems.

• Excellent command of scripting using TCL, Perl, and/or Python.

• Excellent written and verbal communication.

• Able to optimally collaborate and work in a distributed team!