Senior Formal Verification Engineer

About the role

NVIDIA is seeking a Formal Verification Engineer to contribute to the verification of industry-leading Coherent interconnects and high-performance designs.

Responsibilities

• Identify key behaviors for verification to write clear testplans for complex 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 obtain 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 of the design to partners.

Requirements

• BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics.
• Strong analytical skills to solve complex problems.
• Knowledge of formal verification methodologies and techniques.
• Able to implement abstraction techniques for effective verification.
• Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and ability to understand complex RTL quickly.
• Excellent command of scripting using TCL, Perl, and Python.
• Preferrably experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal).

Qualifications

• Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.

Skills

• Formal Verification Methodologies and Techniques.
• Verilog / System Verilog HDLs.
• Temporal Logic Assertions.
• TCL, Perl, and Python Scripting.
• Experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal).

Benefits

• Base Salary Range: $168,000 - $264,500 for Level 4, and $196,000 - $310,500 for Level 5.
• Eligibility for equity and benefits.

Pay

Base salary will be determined based on your location, experience, and the pay of employees in similar positions.

Schedule

Details on the schedule are not specified in the job posting.

Benefits

Details on benefits are not specified in the job posting.