Formal Verification Engineer
Bengaluru, GurugramFull-time2–5 yrsPosted over a month ago
Mid-level electrical and electronics role at Nvidia in Bengaluru and Gurugram. Needs 2+ years and a B.Tech, B.E. or M.Tech.
About the role
This position will have you crafting and optimising formal verification flows across CPU/GPU projects and resolving tool issues for design teams with tool vendors. Additionally, you'll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques.
What you'll do
- The specification, implementation, and maintenance of an integrated end-to-end formal verification flow for the formal verification team
- Developing scripts to automate the verification process
- Review formal setups and proofs with design and verification teams
- Maintain and extend assertion libraries, including support for both simulation and FV
- Identifying key behaviours for verification of DUT and creating a verification plan
What you need
- Verilog
- Maintenance