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

Regards,

Jaya