NVIDIA
AI and HPC workloads
FormalVerificationEngineer
Neural analysis suggests this role is
optimal for Mid candidates.
“Formal Verification Engineer at NVIDIA. Skills: Formal Verification Engineer, CPU/GPU verification, formal verification flows, model checking, equivalence checking. crafting and optimizing formal verification flows across CPU/GPU projects. resolving tool issues for design teams with tool vendors”
What You'll Achieve.
ensure design correctness; obtain full proofs, or sufficient bounded proofs, of the design
Industry & Context.
analytical skills to tackle hard problems
What They're Looking For.
Must Have
Minimum 1+ years of industry experience on formal techniques for verification, analytical skills to tackle hard problems, Excellent command of scripting, knowledge of architectures of CPU designs and digital logic, Good understanding of abstraction techniques for effective verification, Hands-on experience with HDLs such as Verilog / System Verilog, Understanding of temporal logic assertions
Nice to Have
Worked on various pieces of CPU/GPU unit/microarchitecture verification, Background with complex verification projects that had used formal techniques for closure, Experience of collaborating with geographically diverse cross-functional teams, A history of mentoring junior engineers and interns a huge plus, Preferable experience with a variety of Formal Verification Tools
What You'll Do.
crafting and optimizing formal verification flows across CPU/GPU projects
resolving tool issues for design teams with tool vendors
verify the micro-architecture using formal verification tools
employ the latest model checking and equivalence checking techniques
understand the design & implementation
define the verification scope
ensure design correctness
use advanced formal techniques to obtain full proofs
or sufficient bounded proofs
and maintenance of an integrated end-to-end formal verification flow
Developing scripts to automate the verification process
Review formal setups and proofs with design and verification teams
Maintain and extend assertion libraries
including support for both simulation and FV
Identifying key behaviours for verification of DUT and creating a verification plan
Developing verification environment including environment assumptions
assertions and cover properties in context of the verification plan
Applying various FV techniques to prove correctness of digital designs
How You'll Work.
Team & Collaboration
working with architects, designers, pre- and post-silicon verification teams; Review formal setups and proofs with design and verification teams; collaborate effectively across sites; collaborating with geographically diverse cross-functional teams
Communication Scope
Excellent command of scripting; communication skills are required; ability to work in a dynamic product oriented team and collaborate effectively across sites
Full Job Description
We are currently seeking an experienced Formal Verification Engineer with strong CPU/GPU and verification fundamentals to work in NVIDIA's Central Formal team based in Bangalore. NVIDIA builds CPUs and GPUs that powering up the next generation AI and HPC workloads. This position will have you crafting and optimizing formal verification flows across CPU/GPU projects and resolving tool issues for design teams with tool vendors. Additionally, you'll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques. You will be expected to understand the design & implementation, define the verification scope, and ensure design correctness. You will use advanced formal techniques to obtain full proofs, or sufficient bounded proofs, of the design while working with architects, designers, pre- and post-silicon verification teams to accomplish your tasks. **What you’ll be doing:** * The specification, implementation, and maintenance of an integrated end-to-end formal verification flow for the formal verification team. * Developing scripts to automate the verification process. * Review formal setups and proofs with design and verification teams. * Maintain and extend assertion libraries, including support for both simulation and FV. * Identifying key behaviours for verification of DUT and creating a verification plan. * Developing verification environment including environment assumptions, assertions and cover properties in context of the verification plan. * Applying various FV techniques to prove correctness of digital designs. * Debugging RTL to identify causes of failure scenarios. **What we need to see:** * Bachelors/Masters in Electronics & Communications or Computer Science or electrical engineering from a reputed engineering college. * Minimum 1+ years of industry experience on formal techniques for verification. * Strong analytical skills to tackle hard problems. * Excellent command of scripting. *
Applying for this Formal Verification Engineer role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
How to Apply on Workday
- Workday has a multi-step form — save your progress after every section.
- "Apply With LinkedIn" can fail or lose data; manual entry is more reliable.
- Watch for the "Submit for Review" final step — hitting "Save" alone does not submit.
- Job requisition numbers are useful when following up with HR by email.
ANONYMOUS · UNFILTERED
What do employees actually say about NVIDIA?
Real rants from real employees. Read before you apply.