Looking for Formal Verification Engineer with Jasper Gold experience - Bangalore

Hi All,

Looking for Experience : ( 3 to 5 years )
Formal verification
Tool : Jasper Gold
Should have a good understanding of SVA. Work is mostly related to Sequential Equivalence Checking.
Formal Verification, SVA, Jaspergold/Synopsis VC Formal/Siemens Questa FOrmal.

Please share your resume to

[email protected]

Regards,
Jaya