Lead GPU Formal Verification Engineer

NVIDIA Corporation; Santa Clara, Northern (CA, KY); Hybrid; USD 136,000 - 265,000; Full time

Job summary

NVIDIA is seeking a Senior Formal Verification Engineer in the United States with strong background in GPU/CPU architectures and formal verification. You will verify micro-architecture using formal methods, write testplans, and develop abstractions to achieve full or bounded proofs.

Collaboration with architects, designers, and verification teams is essential to deliver high-quality results on schedule. Requirements include 5+ years of experience, proficiency in Verilog/SystemVerilog, scripting,

Qualifications

• BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience.
• Understanding of GPU/CPU architectures and engineering work flows.
• Experience with Verilog / System Verilog HDLs and able to understand sophisticated RTL quickly.
• Experience with formal tools and knowledge of formal verification methodologies.

Responsibilities

• Identify key verification behaviors and write clear testplans for complex designs.
• Implement testplans using formal techniques and develop environment assumptions, assertions, and cover properties.
• Develop abstraction models to manage complexity and achieve full or bounded proofs with coverage.
• Drive formal tools to maximize performance and efficiency; debug RTL to locate failure causes.

Skills

GPU architecture

SystemVerilog

Formal verification

RTL verification

Scripting (TCL/Python/Perl)

Analytical skills

Communication skills

Distributed teamwork

Education

BS/MS/PhD in CS/CE/EE/Math

Tools

Verilog

System Verilog

Job description

NVIDIA is seeking a Senior Formal Verification Engineer in the United States with strong background in GPU/CPU architectures and formal verification. You will verify micro-architecture using formal methods, write testplans, and develop abstractions to achieve full or bounded proofs.

Collaboration with architects, designers, and verification teams is essential to deliver high-quality results on schedule. Requirements include 5+ years of experience, proficiency in Verilog/SystemVerilog, scripting,