H
Formal Verification Engineer
Accepting applicationsHCLTech · Bengaluru, Karnataka, India
Full-Time Mid_senior RTL
Posted
4 Jun
Category
Verification
Experience
Mid_senior
Country
India
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
Show more Show less
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
Show more Show less