Senior Formal Verification Engineer

About This Role

As a Formal Verification Engineer at NVIDIA, you will verify the micro-architecture of leading GPUs using formal verification tools, define verification scope, and ensure correctness. You will employ sophisticated formal techniques to acquire bounded proofs while collaborating with various engineering teams.

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

• 5+ years of experience in formal verification or related field
• 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

Qualifications

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

Skills

* Required skills

Benefits