Description
As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs. You will help 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 to achieve reasonable proof-depth.
Apply formal coverage techniques for analysing over-constraints and for measuring functional coverage.
Design and develop functional verification flows that involve both vendor and internally developed formal tools.
We are looking for a B.Tech./ M.Tech. with 2+ years of relevant experience. You should have a good understanding of hardware micro-architecture and design, and be conversant with formal verification technologies, including complexity reduction techniques.
Formal property verification experience on multiple complex units is also required. Proficiency in creating high quality testplans, building formal testbenches, and root-causing counter-examples is essential.
Good debugging and problem solving skills, scripting knowledge (Python/Perl/shell), and good interpersonal and communication skills are also desirable.