Description
NVIDIA is hiring a Formal Verification Engineer to formally verify complex hardware designs. The role involves selecting formal verification applications, reviewing specifications, defining verification scope, creating test plans and testbenches, applying assertions, constraints, abstraction, and coverage techniques, and developing verification flows using vendor and internal formal tools. Candidates need a B.Tech. or M.Tech. degree, at least five years of relevant experience, hardware micro-architecture knowledge, formal verification expertise, and experience verifying multiple complex units.
