NVIDIA is a leader in computer graphics and AI technology, seeking a Formal Verification Engineer to verify the build and implementation of their GPUs. The role involves utilizing formal verification tools, defining verification scopes, and collaborating with various teams to ensure correctness and deliver high-quality results.
Responsibilities:
- 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
Requirements:
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 6+ 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!