Formal Verification Engineer

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

• 2–5 yrs of experience
• Verilog
• Maintenance
• B.Tech or B.E. or M.Tech or MCA or M.Sc