← Back to opportunities

ASIC Verification Engineer (Formal Methods)

📍 Location
Bengaluru
⏰ Job Type
Full-time
📅 Posted
June 04, 2026

About the Role

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

Ready to Join Through a Referral?

Apply now and get connected directly with the hiring team

Apply for this Position