Senior Formal Verification Engineer

NVIDIA
Bengaluru
Workplace: HybridFull timeFunction: Solutions Engineering & Sales EngineeringExperience: 5+ yearsEducation: high_schoolSkills: ["Debugging","Problem-solving","Communication","Teamwork"]

Perform formal verification of complex hardware designs, applying NVIDIA’s functional formal verification methodology to verify critical RTL logic. Collaborate closely with design, architecture, validation teams, and NVIDIA’s internal FV R&D to define verification scope, build testbenches, assertions, and constraints, and use abstraction/coverage techniques to converge targeted properties. Develop functional verification flows using vendor and in-house formal tools, root-cause counterexamples, and drive verification sign-off.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
21 hours ago

Senior Formal Verification Engineer

✓ Verified Job

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

Source: Company careers pageValidated by: Fursa AI
Last checked: 3 hours agoStatus: Live
Reposted: similar role first listed 6 months ago

Job Summary

Perform formal verification of complex hardware designs, applying NVIDIA’s functional formal verification methodology to verify critical RTL logic. Collaborate closely with design, architecture, validation teams, and NVIDIA’s internal FV R&D to define verification scope, build testbenches, assertions, and constraints, and use abstraction/coverage techniques to converge targeted properties. Develop functional verification flows using vendor and in-house formal tools, root-cause counterexamples, and drive verification sign-off.
Location: Bengaluru
Workplace: Hybrid
Employment Type: Full time
Job Function: Solutions Engineering & Sales Engineering
Seniority: Mid level

Key Responsibilities

  • •Decide on the best applications of formal verification techniques to parts of the design.
  • •Review functional and micro-architectural specifications to define formal verification scope and create test plans for sign-off.
  • •Build formal verification testbenches, code assertions and constraints, and use abstraction to converge targeted properties.
  • •Apply formal coverage techniques to analyze over-constraints and measure functional coverage.
  • •Design and develop formal verification flows using vendor and internally developed formal tools.

Key Requirements

  • •B.Tech./M.Tech. with 5+ years of relevant experience.
  • •Good understanding of hardware micro-architecture and design.
  • •Experience with formal verification technologies, including complexity reduction techniques.
  • •Formal property verification experience on multiple complex units.
  • •Proficiency creating high-quality test plans, building formal testbenches, and root-causing counterexamples.
Experience:5+ yearsHardwareSemiconductors
Education:High School
Skills:DebuggingProblem-solvingCommunicationTeamwork
Tech Stack:PythonPerlShellFormal verificationRTLMicro-architecture

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
Glassdoor: 4.3
WebsiteLinkedInGlassdoor