NVIDIA is looking for a Senior Formal Verification Engineer to ensure the correctness of the industry's leading GPU designs. You will apply formal verification methodologies to verify complex micro-architectures, define the verification scope, and drive tools for optimal performance.
What You'll Do
- 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're Looking For
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 8+ 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.
Technical Stack
- Verilog
- System Verilog
- TCL
- Perl
- Python
Benefits & Compensation
- Highly competitive salaries
- Comprehensive benefits package
NVIDIA provides a diverse, supportive environment where everyone is inspired to do their best work.
