About the Company

NVIDIA is a leading technology company renowned for its cutting-edge CPUs and GPUs that power next-generation AI and High-Performance Computing (HPC) workloads. We are considered one of the most desirable employers in the technology sector, offering competitive compensation and a comprehensive benefits package. Our organization is distinguished by its exceptionally bright and talented workforce, and we are experiencing rapid growth, leading to significant expansion within our elite engineering teams. We are actively seeking creative and autonomous engineers who possess a strong passion for technology and a desire to contribute to our innovative environment. As an equal opportunity employer, NVIDIA values diversity and prohibits discrimination based on race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

Job Description

NVIDIA’s Central Formal team, located in Bangalore, is looking for an experienced Formal Verification Engineer. This role involves developing and refining formal verification methodologies for CPU and GPU projects, assisting design teams with tool-related issues, and resolving problems with tool vendors. The engineer will utilize advanced formal verification techniques, including model checking and equivalence checking, to ensure the correctness of micro-architectures. Key responsibilities include understanding design specifications, defining verification scope, and guaranteeing the integrity of the design. Collaboration with architects, designers, and pre- and post-silicon verification teams is essential to achieve comprehensive proofs, whether full or bounded, of the design’s functionality.

Responsibilities

• Specify, implement, and maintain an integrated end-to-end formal verification flow for the formal verification team.
• Develop scripts to automate the verification process.
• Review formal setups and proofs with design and verification teams.
• Maintain and extend assertion libraries, supporting both simulation and Formal Verification (FV).
• Identify critical behaviors for DUT verification and create a comprehensive verification plan.
• Develop the verification environment, including environment assumptions, assertions, and cover properties, aligned with the verification plan.
• Apply various FV techniques to prove the correctness of digital designs.
• Debug RTL to identify root causes of failure scenarios.

Qualifications

• Bachelor’s or Master’s degree in Electronics & Communications, Computer Science, or Electrical Engineering from a reputable engineering institution.
• A minimum of 3 years of industry experience in formal techniques for verification.
• Strong analytical capabilities to address complex challenges.
• Excellent command of scripting languages.
• In-depth knowledge of CPU architectures and digital logic principles.
• Solid understanding of abstraction techniques for effective verification strategies.
• Hands-on experience with Hardware Description Languages (HDLs) such as Verilog/System Verilog.
• Familiarity with temporal logic assertions.
• Proficiency in collaborating with geographically diverse, cross-functional teams.
• Strong communication skills are mandatory for effective teamwork in a dynamic, product-focused environment and for cross-site collaboration.

Skills

ATS Keywords

Frequently Asked Questions

Other Information

The job posting also mentions similar roles available in different locations (US, CA, Remote, Israel, Canada, Hungary) and for different experience levels, including new college graduates.

Tags