U

ASIC Verification Engineer (Formal Methods)

UST

Bengaluru, Karnataka, India Full-time June 04, 2026
Apply Now

Vacancy Description

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 Apply?

अभी आवेदन करें

Submit your application for ASIC Verification Engineer (Formal Methods) at UST

Apply for this Position