Formal Verification Engineer

NVIDIA
China
Workplace: OnsiteFull timeFunction: QA, Test & Release EngineeringExperience: 3+ yearsEducation: mastersSkills: ["Analytical and problem-solving","Collaboration","Communication"]

Join the GPU clocks group to craft and validate GPU clocking RTL using formal verification. You’ll write test plans and implement formal techniques (assumptions, assertions, cover properties), build abstraction models for full or bounded proofs, debug RTL failures, and drive tool performance. Collaborate with chip architects and frontend design teams to meet clocking requirements across unit, sub-system, and SoC levels.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
2 weeks ago

Formal Verification Engineer

✓ Verified Job

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

Source: Company careers pageValidated by: Fursa AI
Last checked: 2 hours agoStatus: Live

Job Summary

Join the GPU clocks group to craft and validate GPU clocking RTL using formal verification. You’ll write test plans and implement formal techniques (assumptions, assertions, cover properties), build abstraction models for full or bounded proofs, debug RTL failures, and drive tool performance. Collaborate with chip architects and frontend design teams to meet clocking requirements across unit, sub-system, and SoC levels.
Location: China
Workplace: Onsite
Employment Type: Full time
Job Function: QA, Test & Release Engineering
Seniority: Mid level

Key Responsibilities

  • •Understand design behaviors from a formal verification perspective to develop clear test plans and formal techniques (assumptions, assertions, cover properties).
  • •Develop abstraction models to manage RTL complexity and achieve full or bounded proofs with sufficient coverage.
  • •Debug RTL to identify failure causes and complete coverage sign-off.
  • •Drive tools to achieve best-in-class performance.
  • •Contribute to flow and script development to improve team efficiency and collaborate to ensure deliverable quality.

Key Requirements

  • •BS/MS in CS/CE/EE/Mathematics (or related) with 3+ years of ASIC verification experience.
  • •Knowledge of formal verification methodologies and techniques, with preferable experience using tools like Jasper Gold or VC Formal.
  • •Ability to implement abstraction techniques to enable effective verification.
  • •Excellent scripting skills using TCL, Perl, and Python.
  • •Experience with verification methodology, tools, and flow across Unit/Sub-system/SOC levels; strong collaboration skills in a distributed team.
Experience:3+ yearsASIC verification
Education:Master's in CS/CE/EE/Mathematics
Skills:Analytical and problem-solvingCollaborationCommunication
Languages:English
Tech Stack:Formal VerificationJasper GoldVC FormalRTLASIC verificationTCLPerlPython

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