Senior AI ASIC Formal Verification Engineer

NVIDIA Corporation; California (MO); Hybrid; USD 136,000 - 265,000; Full time

Benefits offered by this job

Equity

Benefits

Job summary

NVIDIA Corporation is hiring a Senior Formal Verification Engineer to verify AI-related ASIC builds using advanced formal methods. You will work closely with architecture and RTL teams to specify properties and resolve complex issues, shaping micro-architecture decisions.

You will develop formal verification environments, extend automated flows for scalability, and support silicon bring-up with formal techniques. Ideal candidates have 5+ years in ASIC verification and strong SVA skills.

Qualifications

• BS/MS/PhD or equivalent in CS/CE/EE.
• 5+ years in ASIC verification with 3+ years in formal verification.
• Proficiency in SystemVerilog Assertions (SVA) and formal property verification.

Responsibilities

• Verifying AI-related ASIC builds with formal verification methods.
• Collaborate with architecture and RTL teams to specify properties and resolve issues.
• Articulate formal verification coverage to partners.
• Develop advanced formal verification environments and scalable flows.
• Support silicon bring-up and debug using formal methods where applicable.

Skills

ASIC verification

Formal verification

SVA (SystemVerilog Assertions)

Communication skills

Education

BS/MS/PhD in CS/CE/EE

Tools

JasperGold

VC Formal

Job description

NVIDIA Corporation is hiring a Senior Formal Verification Engineer to verify AI-related ASIC builds using advanced formal methods. You will work closely with architecture and RTL teams to specify properties and resolve complex issues, shaping micro-architecture decisions.

You will develop formal verification environments, extend automated flows for scalability, and support silicon bring-up with formal techniques. Ideal candidates have 5+ years in ASIC verification and strong SVA skills.