Job Description

NVIDIA is seeking a Formal Equivalence Checking Methodology Engineer to join their VLSI team, focusing on developing and optimizing RTL verification methodologies for VLSI designs. The role involves ensuring functional equivalence throughout the design cycle and collaborating with ASIC design teams.

Requirements

BS in Electrical, Computer Engineering or equivalent experience with 3+ years of CAD experience; MS preferred
Familiarity with Verilog and ASIC design along with experience in commercial EDA tools
Knowledge or experience with Equivalence checking (FEC or FEV) and RTL Linting flows
Strong scripting skills in languages such as Python or Perl
Excellent problem-solving, debugging, and analytical skills
Ability to work in a team environment and collaborate efficiently with multi-functional teams
Strong communication and documentation skills

Responsibilities

Develop and maintain robust equivalence checking flows (FEC/FEV) for different stages of the VLSI design cycle
Collaborate with ASIC design teams to understand design requirements and constraints
Optimize flows and methodologies for performance, capacity, and debug capabilities
Support and debug aborts/failing verification, including debug of constraint related problems
Provide training and support to IP teams on formal verification methodologies, tools, and standard processes
Stay up to date with the latest advancements in equivalence checking techniques, tools, and methodologies

Benefits

Employees at NVIDIA are often offered comprehensive, day-one benefits—including medical, dental, and vision coverage with HSA support, life and disability insurance, an Employee Assistance Program, and a 401(k) with auto-enrollment. Many roles also have generous time off and holidays, donation matching (up to $10,000), and a wide menu of extras like FSAs, commuter benefits, legal and identity-theft protection, pet insurance, and wellness discounts. Optional programs can include student-loan and home-purchase support, plus family care resources and expert medical services.