NVIDIA is seeking for elite Formal Verification Engineers to verify the design and implementation of the worlds leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have crafted a team of extraordinary people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.
As a Formal Verification Engineer at Nvidia, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV experts to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with Nvidia’s internal FV R&D group that develops functional verification tools using formal technology.
What you’ll be doing:
You will apply formal methods including formal specification, assertion and functional coverage based formal and semi-formal verification
You will design and develop functional verification flows that involve both vendor and internally developed tools
You will identify areas for applying formal verification across existing projects
You will be engaging with RTL designer and/or architect in a series of discussions, identifying logic that can benefit from formal verification and the important properties that are provable on them.
Salary: ₹ other
[Apply here ]