Formal Verification Engineer Job in Ethos Hr Management & Projects Pvt Ltd

Designation / Position : Formal Verification EngineerLocation : Ahmedabad / Bangalore

Education :Any Experience: 4 To 15 Years

Industry Type : SemiconductorJob Type : Permanent

Job Description

• Minimum 4 years of experience working of on Verification using Formal tools.
• The job involves very close interaction with the design team, architecture team, with other validation teams. You will help decide on the best applications of formal verification techniques to various parts of the design Develop scripts (Perl and Python) and build flows (Makefile and CMake) to enable.
• Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification test plans to sign-off on the corresponding design implementation.
• Define Formal verification testbench architecture
• 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 analyzing over-constraints and for measuring functional coverage. Design and develop functional verification flows that involve both vendor and internally developed formal tools.
• Experience on Cadence/Synopsys/mentor formal verification tool required
• Has ability to lead team and guide team members. Has ability to take ownership of deliverable to customer.