Senior AI ASIC Formal Verification Lead (Equity Eligible)

NVIDIA Corporation; Santa Clara (CA); On-site; USD 196,000 - 311,000; Full time

Job summary

NVIDIA in Santa Clara, CA is seeking a Senior Formal Verification Engineer to verify AI-focused ASICs using formal methods and SVA. You will define scope, ensure correctness, and drive verification across the full project cycle, collaborating with architects, designers, and pre-/post-silicon teams.

Ideal candidates have 12+ years in ASIC verification with 8+ years in formal verification, strong scripting (tcl, python), and proven leadership in formal flows and sign-off processes.

Qualifications

• BS/MS/PhD or equivalent experience in CS/CE/EE.
• 12+ years in ASIC verification with 8+ years focused on formal verification methods
• Mastery of SystemVerilog Assertions (SVA) and formal property verification
• Proficient on at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.)
• Good scripting skills for flow automation (tcl, python, etc.)
• Good written and oral communication skills
• Keen attention to details

Responsibilities

• Verify AI-related sophisticated ASIC designs & features with formal verification methods.
• Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions.
• Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities.
• Articulate formal verification coverage to partners
• Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency
• Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.
• Support silicon bring-up and debug using formal methods where it applies.

Skills

SVA mastery

Formal verification

SystemVerilog

Scripting (tcl, python)

Written & verbal comms

Attention to detail

Education

BS/MS/PhD in CS/CE/EE

Tools

JasperGold

VC Formal

Job description

NVIDIA in Santa Clara, CA is seeking a Senior Formal Verification Engineer to verify AI-focused ASICs using formal methods and SVA. You will define scope, ensure correctness, and drive verification across the full project cycle, collaborating with architects, designers, and pre-/post-silicon teams.

Ideal candidates have 12+ years in ASIC verification with 8+ years in formal verification, strong scripting (tcl, python), and proven leadership in formal flows and sign-off processes.