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