# Senior Formal Verification Engineer

**Company**: NVIDIA
**Location**: Bengaluru
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/India-Bengaluru/Senior-Formal-Verification-Engineer_JR2023406-1?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_fa70e1ee-fbc

## Description

As a Senior Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that enables hardware design and verification engineers to use lightweight FV tools and techniques successfully.

You will help decide on the best applications of formal verification techniques to various parts of the design.

Your responsibilities will include:

- Reviewing functional and micro-architectural specifications, defining the scope for formal verification, and creating high-quality formal verification testplans to sign-off on the corresponding design implementation.

- Building formal verification testbenches, coding assertions and constraints, and applying abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.

- Applying formal coverage techniques for analyzing over-constraints and for measuring functional coverage.

- Designing and developing functional verification flows that involve both vendor and internally developed formal tools.

To be successful in this role, you will need:

- A B.Tech./M.Tech. with 5+ years of relevant experience.

- A good understanding of hardware micro-architecture and design.

- Familiarity with formal verification technologies, including complexity reduction techniques.

- Experience with formal property verification on multiple complex units.

- Proficiency in creating high-quality testplans, building formal testbenches, and root-causing counter-examples.

We offer competitive salaries and a generous benefits package.

## Skills

### Required
- formal verification
- hardware design
- micro-architecture
- complexity reduction techniques
- property verification

### Nice to have
- debugging
- problem-solving
- scripting
- interpersonal and communication skills

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/India-Bengaluru/Senior-Formal-Verification-Engineer_JR2023406-1?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)