Senior Formal Verification Engineer

About This Role

As a Senior Formal Verification Engineer at NVIDIA, you will verify cutting-edge ASIC designs using advanced formal methods. You will define verification scopes, ensure correctness, and collaborate with various teams to refine methodologies and achieve high-quality results. This role is crucial for delivering high-quality ASIC designs on schedule.

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

Requirements

• 12+ years in ASIC verification
• 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 (JapserGold, VC Formal, etc.)
• Good scripting skills for flow automation (tcl, python, etc.)
• Good written and oral communication skills
• Keen attention to details

Qualifications

• BS/MS/PhD or equivalent experience in CS/CE/EE
• 12+ years in ASIC verification with 8+ years focused on formal verification methods

Nice to Have

• Proven success in full-cycle formal sign-off for complex designs
• Expertise in formal apps: FPV apps, sequential equivalence checks, datapath verification, etc.
• Deep understanding of GPU or LPU architecture/design

Skills

* Required skills

Benefits