NVIDIA

3 months ago

Formal Verification Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI

Last checked: 16 hours agoStatus: Live

Job Summary

Seeking an experienced Formal Verification Engineer to craft and optimize end-to-end formal verification flows for CPU/GPU projects in NVIDIA’s Central Formal team in Bangalore. You’ll develop verification environments, automate processes, review FV setups, extend assertion libraries, and collaborate with cross-site teams to prove design correctness using model checking and equivalence techniques.

Location: Bengaluru, Gurugram

Workplace: Onsite

Employment Type: Full time

Job Function: Software Engineering

Key Responsibilities

•Define the verification scope for CPU/GPU designs and maintain end-to-end formal verification flow.
•Develop scripts to automate the verification process and review formal setups with design teams.
•Maintain and extend assertion libraries to support simulation and formal verification.
•Identify key behaviors for verification of DUT and create a verification plan; develop verification environments with assumptions, assertions and cover properties.
•Apply various formal verification techniques to prove design correctness and debug RTL to identify failure causes.

Key Requirements

•Bachelor’s or Master’s degree in Electronics & Communications, Computer Science, or Electrical Engineering from a reputed college.
•Minimum 1+ years of industry experience with formal verification techniques.
•Strong analytical skills to tackle hard problems and excellent scripting abilities.
•Hands-on experience with HDLs such as Verilog/SystemVerilog and understanding of CPU architectures and digital logic.
•Familiarity with abstraction techniques for effective verification and ability to collaborate across teams across sites

Experience:1+ yearsSemiconductorsHardwareCPUGPUFormal verification

Education:Bachelor's

Skills:VerilogSystemVerilogPythonScriptingModel checkingEquivalence checking

Tech Stack:VerilogSystemVerilogPythonShelModel checkingEquivalence checking

Company Brief

NVIDIA

Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.

Industry: Electronics Manufacturing

Company Size: Enterprise (1,001+ employees)

Revenue: USD 1B+

Growth: Public Company

Valuation: Public Company (Market Cap in USD)

Funding: IPO / Publicly Listed

Headquarters: Santa Clara, United States

Founded: 1993

Glassdoor: 4.3

Website LinkedIn Glassdoor

Loading job details...

Preparing the role view and application actions.

NVIDIA

3 months ago

Formal Verification Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI

Last checked: 16 hours agoStatus: Live

Job Summary

Location: Bengaluru, Gurugram

Workplace: Onsite

Employment Type: Full time

Job Function: Software Engineering

Key Responsibilities

•Define the verification scope for CPU/GPU designs and maintain end-to-end formal verification flow.
•Develop scripts to automate the verification process and review formal setups with design teams.
•Maintain and extend assertion libraries to support simulation and formal verification.
•Identify key behaviors for verification of DUT and create a verification plan; develop verification environments with assumptions, assertions and cover properties.
•Apply various formal verification techniques to prove design correctness and debug RTL to identify failure causes.

Key Requirements

•Bachelor’s or Master’s degree in Electronics & Communications, Computer Science, or Electrical Engineering from a reputed college.
•Minimum 1+ years of industry experience with formal verification techniques.
•Strong analytical skills to tackle hard problems and excellent scripting abilities.
•Hands-on experience with HDLs such as Verilog/SystemVerilog and understanding of CPU architectures and digital logic.
•Familiarity with abstraction techniques for effective verification and ability to collaborate across teams across sites

Experience:1+ yearsSemiconductorsHardwareCPUGPUFormal verification

Education:Bachelor's

Skills:VerilogSystemVerilogPythonScriptingModel checkingEquivalence checking

Tech Stack:VerilogSystemVerilogPythonShelModel checkingEquivalence checking

Company Brief

NVIDIA

Industry: Electronics Manufacturing

Company Size: Enterprise (1,001+ employees)

Revenue: USD 1B+

Growth: Public Company

Valuation: Public Company (Market Cap in USD)

Funding: IPO / Publicly Listed

Headquarters: Santa Clara, United States

Founded: 1993

Glassdoor: 4.3

Website LinkedIn Glassdoor