← All roles

Formal Verification Engineer

NVIDIA· Engineer, ASIC
Apply on company site
Shanghai, Chinafull-timePosted 1mo ago

About the role

Senior Formal Verification Engineer in NVIDIA's GPU clocks group focused on developing and validating clocking RTL for GPUs, collaborating with frontend and backend teams to meet design requirements and physical constraints.

Responsibilities

  • Understand key design behaviors from formal verification view to write clear test plans, and implement them using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.
  • Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.
  • Debug RTL to identify causes of failure scenarios and finish coverage sign-off.
  • Drive tools to realize their best performance.
  • Contribute to flow and script development to improve team efficiency.
  • Work with architects, designers and others to guarantee good deliverable quality.

Qualifications

  • BS / MS in CS/CE/EE/Mathematics and related with 3+ years of ASIC verification experience.
  • Knowledge of formal verification methodologies and techniques, preferable experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal ).
  • Able to implement abstraction techniques for effective verification.
  • Excellent command of scripting using TCL, Perl, and Python.
  • Familiar with verification methodology, tools and flow in Unit/Sub-system/SOC level.
  • Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.

Skills

Required:Formal verificationEnvironment assumptions, assertions, cover propertiesAbstraction techniquesRTL debuggingScripting
Last updated Aug 28, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA