ASIC Verification Engineer (Formal Methods)

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