Location
bengaluru
Posted
June 09, 2026
Commute
Local Area
Local Opportunity Near You!
This job is in your area. Enjoy a short commute and work close to home.
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