Formal Verification Engineer
NVIDIA
India, BengaluruPosted 5 months ago
Skill Required
PythonPerlFulltime
Key highlights
- Competitive salaries
- Generous benefits package
- 2+ years of relevant experience required
- B.Tech./M.Tech. degree required
- Formal property verification experience on complex units required
- Hybrid work arrangement
Role overview
NVIDIA is a leader in GPU technology and AI research, seeking a Formal Verification Engineer to formally verify complex hardware designs. The role involves close collaboration with design, architecture, and validation teams, as well as NVIDIA's internal formal verification R&D group, to apply advanced formal verification techniques and tools.
Responsibilities
- Decide on the best applications of formal verification techniques to various parts of the design.
- Review functional and micro‑architectural specifications, define the scope for formal verification, and create high‑quality formal verification testplans to sign‑off on the corresponding design implementation.
- Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or achieve reasonable proof‑depth.
- Apply formal coverage techniques for analyzing over‑constraints and for measuring functional coverage.
- Design and develop functional verification flows that involve both vendor and internally developed formal tools.
Requirements
- B.Tech./M.Tech. with 2+ years of relevant experience.
- Good understanding of hardware micro‑architecture and design.
- Conversant with formal verification technologies, including complexity reduction techniques.
- Formal property verification experience on multiple complex units.
- Proficiency in creating high‑quality testplans, building formal testbenches, and root‑causing counter‑examples.
Nice to have
- Good debugging and problem‑solving skills.
- Scripting knowledge (Python/Perl/shell).
- Good interpersonal and communication skills and a desire to work as a great team member.
Benefits
- Competitive salaries.
- Generous benefits package.
- Diverse, supportive, and inclusive work environment.
Additional details
- NVIDIA has continuously reinvented itself, pioneering GPUs and driving AI research worldwide.
- As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work.
- We are an equal opportunity employer and value diversity at our company.
- #LI-Hybrid indicates a hybrid work model.