Senior Formal Verification Engineer

About the role

NVIDIA is seeking a Formal Verification Engineer to join our team. This role involves verifying the build and implementation of the industry's leading GPUs using formal verification tools. Key responsibilities include defining the verification scope, employing sophisticated formal techniques, and ensuring correctness.

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.
• 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 5+ years of experience.
• Understanding of GPU/CPU architectures and engineering work flows.
• Experience with Verilog / System Verilog HDLs and ability 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 with 5+ years of experience.
• Understanding of GPU/CPU architectures and engineering work flows.
• Experience with Verilog / System Verilog HDLs and ability 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!

Skills

• Formal verification tools
• Sophisticated formal techniques
• Abstraction models
• RTL debugging
• Flow and script development
• Verification coverage articulation

Benefits

• Equity
• Benefits

Pay

• Level 3: 136,000 USD - 218,500 USD
• Level 4: 168,000 USD - 264,500 USD

Schedule

• Full-time