Job Description

Exp Level: 4.5+ years to 10 years

JD:


- Experience in formal verification of customer RTL/Logic design blocks


- Experience in any of formal tools – Jasper, VC Formal


- Formal property verification


- Experience in writing assertions

Apply for this Position

Ready to join HCLTech? Click the button below to submit your application.

Submit Application