Senior AI ASIC Formal Verification Engineer

NVIDIA; Town of Texas (WI); On-site; USD 196,000 - 310,500; Full time

Job summary

NVIDIA is hiring a Senior Formal Verification Engineer to oversee the verification of AI-related ASIC designs. The role involves collaboration with architecture teams and leveraging formal verification to ensure compliance and efficiency in the design process.

The ideal candidate will have over 12 years of experience in ASIC verification, with strong skills in SystemVerilog Assertions and formal verification tools. This position offers a competitive salary and benefits.

Qualifications

• 12+ years in ASIC verification with 8+ years focused on formal verification methods.
• Mastery of SystemVerilog Assertions and formal property verification.
• Proficiency in at least one popular formal verification tool.

Responsibilities

• Verify AI-related sophisticated ASIC designs and features.
• Specify properties and influence micro-architecture decisions.
• Develop and implement formal verification methodologies.

Skills

SystemVerilog Assertions (SVA)

Formal property verification

Formal verification tools (JasperGold, VC Formal)

Scripting skills (Tcl, Python)

Communication skills

Attention to detail

Education

BS/MS/PhD in CS/CE/EE or equivalent experience

Job description

NVIDIA is hiring a Senior Formal Verification Engineer to oversee the verification of AI-related ASIC designs. The role involves collaboration with architecture teams and leveraging formal verification to ensure compliance and efficiency in the design process.

The ideal candidate will have over 12 years of experience in ASIC verification, with strong skills in SystemVerilog Assertions and formal verification tools. This position offers a competitive salary and benefits.