Senior Formal Verification Engineer
Posted 2 months ago Expired
This job has expired
Looking for a job like Senior Formal Verification Engineer in or near null, CA? Upload your resume and we'll notify you when similar positions become available.
Upload Your ResumeAbout 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