Formal Verification Engineer

About NVIDIA

NVIDIA has continuously transformed the technology landscape. Our GPU invention fueled the expansion of PC gaming, reshaped modern computer graphics, and revolutionized parallel computing. With artificial intelligence research booming worldwide, NVIDIA GPUs provide the scalable, massively parallel computational power needed. As an NVIDIA team member, you will join a diverse and supportive environment dedicated to magnifying human creativity and intelligence.

Role Overview

We seek a skilled Formal Verification Engineer to join our Central Formal team in Bengaluru. You will contribute by developing and refining formal verification flows for CPU and GPU projects, addressing tool-related issues alongside vendors, and verifying designs at the micro-architecture level using advanced formal verification methodologies such as model checking and equivalence checking. Your role involves understanding design and implementation details, defining verification boundaries, and assuring design integrity through comprehensive formal proofs or bounded verification.

Key Responsibilities

• Design, implement, and maintain a complete formal verification flow for the team's needs.
• Create scripts to automate verification workflows.
• Collaborate with design and verification teams to review formal setups and proofs.
• Develop and uphold assertion libraries for both simulation and formal verification.
• Define key design behaviors and draft detailed verification plans.
• Build verification environments including necessary assumptions, assertions, and coverage properties aligned with the verification plan.
• Utilize formal verification techniques to validate digital design correctness.
• Analyze and debug RTL code to diagnose failure sources.

Qualifications and Skills

• Bachelor's or Master's degree in Electronics & Communications, Computer Science, or Electrical Engineering from a reputed institute.
• At least 2 years of industry experience applying formal verification techniques.
• Strong analytical and problem-solving skills.
• Proficiency in scripting languages to support automation.
• In-depth knowledge of CPU architecture and digital logic design.
• Good understanding of abstraction techniques relevant for verification.
• Hands-on experience with hardware description languages like Verilog and SystemVerilog.
• Familiarity with temporal logic assertions.
• Experience with multiple formal verification tools is preferred.
• Excellent communication capabilities and ability to collaborate effectively in dynamic product teams across locations.

Preferred Attributes

• Experience verifying CPU or GPU microarchitectural modules.
• Engagement in complex verification projects utilizing formal techniques for closure.
• Proven ability to work with cross-functional teams distributed geographically.
• Mentorship experience for junior engineers or interns is highly advantageous.

Equal Opportunity Statement and Benefits

We offer competitive compensation along with an attractive benefits package and are recognized as a sought-after employer within the technology sector. We embrace diversity and maintain a workplace free from discrimination based on race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability.