Senior Formal Verification Engineer

NVIDIA NVIDIA · Semiconductors · Gurgaon, India +1

NVIDIA is seeking a Senior Formal Verification engineer for the Hardware Engineering team. The role involves learning and applying state-of-the-art formal verification methodologies on complex digital designs, IP blocks, and SoCs. Responsibilities include developing and executing robust test plans, working with the design team, and coordinating with other verification team members.

What you'd actually do

  1. Learning state-of-the-art formal verification methodologies
  2. Responsible for applying best-in-class formal methodologies on complex digital designs, IP blocks and SoCs
  3. Taking ownership of verifying a design by developing a robust test plan
  4. Executing it by working with the design team
  5. Coordinating with other verification team members for closure

Skills

Required

  • 5+ years of experience
  • Strong analytical skills
  • Understanding of abstraction techniques for effective verification
  • Hands-on experience with HDLs such as Verilog / System Verilog
  • Ability to understand RTL quickly
  • Understanding of temporal logic assertions

Nice to have

  • B.Tech./ M.Tech. in Electrical Engineering / Computer Science